De acordo com a equivalência lógica da condicional, que indica que a condicional 𝑝 → 𝑞 é equivalente a ~𝑝 ∨ 𝑞, podemos afirmar que a sentença ”Se Pedro tem olhos azuis, então o filho de Pedro tem olhos azuis” é equivalente a:
A
Se Pedro não tem olhos azuis, então o filho de Pedro tem olhos azuis.
B
Se Pedro tem olhos azuis, então o filho de Pedro não tem olhos azuis.
C
Pedro não tem olhos azuis ou o filho de Pedro tem olhos azuis.
D
Pedro não tem olhos azuis e o filho de Pedro não tem olhos azuis.
E
Pedro não tem olhos azuis se, e somente se, o filho de Pedro tem olhos azuis.
