Bicondicional

La bicondicional es una doble condiciona en la que los argumentos de representan por "p si y solo si q"

Para este tipo de argumentos solo será verdadero si las dos proposiciones son verdaderas o si las dos son falsas