La formalización del bicondicional
El coimplicador puede tener varias expresiones equivalentes
en lenguaje natural. Así p
q
es la formalización de las siguientes expresiones de lenguaje natural:
Fíjate que pq
y qp tendrían
totalmente los mismos valores de verdad, puesto que ambas son coimplicaciones
y por lo tanto si sus valores de verdad son los mismos, son verdaderas, y son
falsas en los demás casos. En consecuencia, podemos reformular los enunciados
anteriores intercambiando p y q:
