Elementos de Lógica Matemática: uma breve iniciação

Implicações Lógicas
Sejam P(x1,...,xn) e Q(x1,...,xn) sentenças
abertas e U um conjunto.
• Diz-se que P implica logicamente Q, no
universo U, e escreve-se P ⇒ Q, se a
seguinte proposição for verdadeira,
tomando-se U como universo das variáveis
x1,...,xn:
∀x1 · · · ∀xn(P(x1,...,xn) → Q(x1,...,xn)) · · · .
Elementos de Lógica Matemática – p. 16/2