1 Lógica de 1a Ordem Introdução Na Lógica Proposicional (LP) um átomo (P, Q, R,...) representa uma sentença declarativa que pode ser V ou F, mas não ambos.
