BICONDICIONAL

La proposición bicondicional es verdaderas si ambas proposiciones atómicas que las componen son verdaderas o ambas son falsa a la vez.

La bicondicional puede definirse como la conjunción de una implicación y su reciproca.