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 olhos azuis, então o filho de Pedro tem olhos azuis” é equivalente a: