De acordo com a equivalência lógica da condicional, que indica que a condicional, que indica que a condicional p q é equivalente a ~p v q, podemos afirmar que a sentença "Se Pedro tem olhos azuis, então o filho de Pedro tem olhos azuis" é equivalente a:
