Disciplina: Matemática Básica

Professor: Raimundo de Souza

Aula 3: Lógica matemática – Consequência e equivalência lógicas– exercícios.

3. Consequência e equivalência lógicas

O conceito de consequência lógica está diretamente relacionado com a ideia de prova ou dedução, na qual
uma conclusão pode ser obtida a partir de um conjunto de proposições denominadas premissas, ao passo que
o conceito de equivalência lógica está diretamente relacionado com a ideia de igualdade de proposições,
sendo muito importante na definição de propriedades fundamentais da álgebra proposicional, como, por
exemplo, as Leis de De Morgan.

Augustus De Morgan (Madura, Índia, 27 de junho de 1806 — Londres, 18 de março de 1871).

 Primeira Lei de De Morgan: ~ (p ∧ q) = (~ p) ∨ (~ q)

 Segunda Lei de De Morgan: ~ (p ∨ q) = (~ p) ∧ (~ q)

3.2 Consequência lógica (símbolo ⊨ 𝑜𝑢 ⇒)

Esta seção mostra como podemos determinar se uma proposição P é consequência lógica de um conjunto de
proposições. Além disso, veremos alguns resultados que nos auxiliam na solução desse problema.
Primeiramente, é necessária uma definição para este conceito.

Definição: dadas as proposições P e Q, dizemos que Q é consequência lógica de P, se e somente se a

seguinte regra sempre for válida: se P e Q for simultaneamente verdade. Se Q é consequência lógica de P,
utilizaremos a seguinte notação:

𝑃 ⊨ 𝑄 ou 𝑃 ⇒ 𝑄

Exemplo 1: verifique que (p V q) é consequência lógica de p.

Solução:

O primeiro passo consiste na construção das tabelas-verdade das proposições envolvidas, neste caso, p e (p V
q). fazendo: P: (p V q) e Q: p
 p q pVq (p V q) ⇒ p p⇒pVq
V V V V V
V F V V V
F V V F
F F F

O próximo passo consiste em observar as colunas de p e p ∨ q. Note que p ∨ q tem valor lógico V sempre que
p é verdade, o que significa que podemos escrever p ⇒ p ∨ q, ou seja, p ∨ q é consequência lógica de p. Note,
entretanto, que não podemos dizer que p é consequência lógica de p ∨ q, uma vez que, como indica a terceira
linha da tabela acima, existe uma situação em que p ∨ q assume valor lógico V e p assume valor lógico F.

Conclusão: Q não é consequência lógica de P. Mas P é consequência lógica de Q, em notação “𝑄 ⇒ 𝑃”.

Exercício 1: Considere as proposições P = p → q, Q = r → s e R = (p V r) → (q V s).

a) Verifique se R é consequência lógica de P.

b) Verifique se R é consequência lógica de Q.
c) Verifique se P é consequência lógica de Q.

Teorema 3.1: dadas as proposições P1, P2, …, Pn, a proposição Q é consequência lógica de P1, P2, …, Pn, se e
somente se (P1 ∧ P2 ∧ · · · ∧ Pn) → Q for uma tautologia.

Exemplo 3: considere as proposições P = (p → q), Q = (q → r) e R = (p → r). Verifique se P, Q ⇒ R.

3.3 Equivalência lógica

Nos permitam verificar quando duas ou mais proposições são logicamente equivalentes.

Definição: dizemos que uma proposição P é logicamente equivalente a uma proposição Q, o que é
representado como P ≡ Q, se e somente se P for consequência lógica de Q e Q for consequência lógica de P,
ou seja, se e somente se P ⇒ Q e Q ⇒ P.

Isso equivale a dizer que duas proposições são logicamente equivalentes se e somente se suas tabelas-
verdade forem idênticas.

Teorema: Se P ↔ Q for uma tautologia então P e Q são logicamente equivalentes.

Exemplo: mostre que (p → q) ≡ (~p V q).

Solução:
Para verificar que (p → q) é logicamente equivalente à (~p V q), basta verificar que a proposição (p → q) ↔
(~p V q) é uma tautologia, o que em essência é o mesmo que verificar se as tabelas-verdade de (p → q) e (~p V
q) são iguais.

p q ~p p→q (~p V q) (p → q )↔ (~p V q)

 V V F V V V
V F F F F V
F V V V V V
F F V V V V

A partir da tabela-verdade a equivalência lógica fica evidenciada, uma vez que a proposição composta (p → q
)↔ (~p V q) é uma tautologia.

Essa equivalência significa que temos uma identidade, ou seja, em qualquer método de dedução, prova ou
inferência podemos substituir uma fórmula pela outra, da mesma forma que na matemática podemos
substituir a tangente de um ângulo pela razão entre o seno e o cosseno daquele ângulo.

Exercícios