Akkor és csak akkor

A Wikipédiából, a szabad lexikonból.





a csakkort jelölő
logikai szimbólumok

Az akkor és csak akkor, röviden csakkor vagy a.cs.a. (angol nyelvterületen: „iff” az „if and only if” kifejezésből) a logikában és a rá alapozó területeken, mint a matematika vagy a filozófia, két állítást köt össze, jelezve, hogy az egyik állítás igaz volta megköveteli a másik állítás igazságát, és fordítva. Tehát vagy mindkét állítás egyszerre igaz, vagy mindkettő egyszerre hamis.

Írásban az „akkor és csak akkor” szinonimája lehet a „csakkor”, az „acsa”, a „P szükséges és elégséges feltétele Q-nak” vagy a „P ekvivalens Q-val”.