Equivalencia lógica
Una equivalencia lógica es la conjunción[1] de una proposición y de su recíproca.
Las frases siguientes tienen el mismo sentido:
las propiedades
y
son equivalentes;
;
;
son simultáneamente verdaderas o simultáneamente falsas;
;para que
es necesario y suficiente que
;-
es verdadera si y solamente si
es verdadera;
es una condición necesaria y suficiente para que
Obviamente, en todas estas frases, se puede intercambiar los roles de
y de
