„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
a robot Adding: el, eo, fi, lmo, simple, ur, vi Modifying: es, fr, it, mk |
aNincs 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''' vagy '''a.cs.a.''' ([[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. Bikondicinális függvény, tehát két állítás kell a kiértékeléséhez.
Í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”.
Az "X akkor és csak akkor egyenlő Y" formula logikailag ekvivalens a "X implikáció Y és Y implikáció X" formulával.
Képlettel kifezeve:
<tt>X ↔ Y</tt> := (X → Y) ∧ (Y → X)</tt>
==Igazságtáblázat==
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:45%"
|+ '''Akkor és csak akkor'''
|- style="background:paleturquoise"
! style="width:15%" | X
! style="width:15%" | Y
! style="width:15%" | X ↔ Y
|-
| igaz || igaz || igaz
|-
| igaz || hamis || hamis
|-
| hamis || igaz || hamis
|-
| hamis || hamis || igaz
|}
{{csonk-dátum|csonk-mat|2006 áprilisából}}
| |||