Ce este un bicondițional?

Un bicondițional este o declarație de forma „dacă și numai dacă” (prescurtat la „iff”). Este un conjunctiv logic care combină două afirmații și implică faptul că ele sunt echivalente, ceea ce înseamnă că o afirmație este adevărată dacă și numai dacă cealaltă afirmație este adevărată.

De exemplu, bicondiționalul „Dacă plouă, atunci străzile vor fi ude” poate să fie scris în formă simbolică ca:

P → Q

unde P reprezintă „plouă” și Q reprezintă „străzile vor fi ude”. Săgeata (→) indică faptul că P implică Q, adică dacă P este adevărat, atunci Q trebuie să fie și adevărat.

În acest caz, afirmația bicondițională spune că dacă plouă, atunci străzile vor fi ude, dar nu spune că străzile vor fi ude pur și simplu pentru că plouă. În schimb, spune că cele două afirmații sunt echivalente, iar una nu poate fi adevărată fără ca cealaltă să fie adevărată.