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 «PQ» é verdadeira se «P» e «Q» teñen o mesmo valor de verdade. «PQ» 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 PQ
V V V
V F F
F V F
F F V