(P implica q) ^ (q implica P)
Respuesta:
De este modo, "p implica q", o "p implica estrictamente q" significa "Es falso que sea posible que p sea verdadero y q falso" o, "El enunciado 'p es verdadero y q es falso' no es autoconsistente. Cuando q es deducible de p, decir que 'p es verdadero y q es falso' es afirmar implícitamente una contradicción".
