Bicondicional

A bicondicional, cuxo símbolo é «↔», é unha conexión lóxica que permite expresar que dúas proposicións teñen sempre o mesmo valor de verdade. Dadas as proposicións «P» e «Q», a proposición «P ↔ Q» é verdadeira se «P» e «Q» teñen o mesmo valor de verdade. «P ↔ Q» denomínase «a bicondicional de P e Q» ou «a equivalencia de P e Q», e pode lerse «P se e só se Q».

A seguinte táboa de verdade representa a definición da bicondicional:

P	Q	P ↔ Q
V	V	V
V	F	F
F	V	F
F	F	V