Proposiciones bicondicionales

Son las que llevan la conjunción compuesta "... sí y sólo si...", o sus expresiones equivalentes como
"cuando y sólo cuando", "si..., entonces y sólo entonces...", etc.

Las proposiciones bicondicionales establecen dos condicionales, pero de sentido inverso. Por ejemplo: la proposición bicondicional "el triángulo es equilátero si y sólo si tiene tres lados iguales" establece dos condicionales de sentido inverso: "si es triángulo equilátero, entonces tiene tres lados iguales" y "si el triángulo tiene tres lados iguales, entonces es equilátero".

En toda proposición bicondicional el antecedente s necesario para el consecuente y el consecuente s necesario para el antecedente.