De acordo com a equivalência lógica da condicional, que indica que a condicional p → q é equivalente a ~p ∨ q, podemos afirmar que a sentença ”Se Pedro tem o...

Se Pedro não tem olhos azuis, então o filho de Pedro tem olhos azuis.

Se Pedro tem olhos azuis, então o filho de Pedro não tem olhos azuis.

Pedro não tem olhos azuis ou o filho de Pedro tem olhos azuis.

Pedro não tem olhos azuis e o filho de Pedro não tem olhos azuis.

Pedro não tem olhos azuis se, e somente se, o filho de Pedro tem olhos azuis.