Mi az a kétfeltételes?

A kétfeltételes egy "ha és csak akkor" formájú utasítás (rövidítve "iff"-re). Ez egy logikai konnektívum, amely két állítást egyesít, és azt jelenti, hogy ezek ekvivalensek, vagyis az egyik állítás akkor és csak akkor igaz, ha a másik állítás igaz.

Például a „Ha esik, akkor az utcák nedvesek” bifeltételes szimbolikus formában a következőképpen írható:

P → Q

ahol P azt jelenti, hogy esik az eső, Q pedig azt, hogy "az utcák nedvesek lesznek". A nyíl (→) azt jelzi, hogy P jelentése Q, ami azt jelenti, hogy ha P igaz, akkor Q-nak is igaznak kell lennie.

Ebben az esetben a kétfeltételes állítás azt mondja, hogy ha esik, akkor az utcák vizesek lesznek, de nem mondja ki. hogy az utcák pusztán az eső miatt lesznek vizesek. Ehelyett azt mondja, hogy a két állítás egyenértékű, és az egyik nem lehet igaz anélkül, hogy a másik igaz lenne.