Cada uno de los siguientes es equivalente al bicondicional p↔q.p si y solo si q.p es necesario y suficiente para q.p es equivalente a q.
Cada uno de los siguientes es equivalente al bicondicional p↔q.
ResponderBorrarp si y solo si q.
p es necesario y suficiente para q.
p es equivalente a q.