3 - Verificação de p ∨ q → q ⇔ p → q

Uma proposição qualquer P implica logicamente em outra proposição Q quando, e somente quando, a proposição Q é verdade todas as vezes que P for verdade.

Dessa forma, ao analisar as tabelas verdades de P e Q, não pode ocorrer V no resultado de P e F no resultado de Q, simultaneamente na mesma linha.

A notação de implicação lógica entre as proposições P e Q é a seguinte:

Novamente, equivalência foi comprovada via método dedutivo, podendo-se afirmar que p ∨ q → q ⇔ p → q.