Uma proposição equivalente de “Se Pedro é alto, então os pais de Pedro são altos” é:
Se Pedro é baixo, então os pais de Pedro são baixos.
Se Pedro não é alto, então os pais de Pedro não são altos.
Se os pais de Pedro não são altos, então Pedro não é alto.
Não é possível determinar a altura de Pedro.
Não podemos afirmar algo sobre a altura de Pedro.