„Bikondicionális” változatai közötti eltérés
| [nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Syp (vitalap | szerkesztései) Nincs szerkesztési összefoglaló |
Syp (vitalap | szerkesztései) Nincs szerkesztési összefoglaló |
||
4. sor:
⇔ <br/>
≡</big></big></big></big></big><br/><div style="line-height: 120%; text-align: left">a '''csakkor'''t jelölő<br/>logikai szimbólumok</div></div>
Az '''akkor és csak akkor''', röviden '''csakkor''' ([[angol nyelv]]területen: „iff” az „if and only if” kifejezésből) a [[logika|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”, a „P [[szükséges és elégséges]] feltétele Q-nak” vagy a „P ekvivalens Q-val”.
| |||