„Bikondicionális” változatai közötti eltérés
| [ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Címke: 2017-es forrásszöveg-szerkesztő |
duplikátum ki |
||
8. sor:
:„A lakás bérbe adása akkor és csak akkor tekinthető törvényesnek, ha formailag megfelelő szerződés szól róla.”
:„Egy [[polinom]]nak az ''α'' szám akkor és csak akkor gyöke, ha a polinomfüggvénynek zérushelye.”
* P éppen Q esetén<ref>Weisstein, Eric W. "Iff." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/Iff.html</ref>▼
A bikondicionális elnevezés abból származik, hogy kifejezhető két implikáció kapcsolataként. Például, az akkor és csak akkor P, ha Q mondat jelenti azt, hogy ha P, akkor Q, de azt is, hogy ha Q, akkor P.
28 ⟶ 22 sor:
:„''a. cs. a.''”
vagy újabban, az angol „if and only if” kifejezés ottani rövidítését átvéve
▲
==Megkülönböztetése az "akkor"-tól, a "csak akkor"-tól==▼
# '''"<u>Ha</u> a gyümölcs egy alma, János megeszi."''' vagy '''"János megeszi a gyümölcsöt <u>ha</u> az egy alma."''' (ekvivalens az '''"<u>Csak ha</u> megeszi János a gyümölcsöt, akkor alma;"''' vagy '''"János megeszi a gyümölcsöt ''←'' gyümölcs egy alma"''' állításokkal)▼
#:Ez csupán azt állítja, hogy János a gyümölcsök közül mindenképpen enni fog almát. Viszont annak a lehetőségét nem zárja ki, hogy János ehet banánt, kivit, vagy bármilyen más gyümölcsöt is, csupán azt tudjuk, hogy János bármilyen almát meg fog enni, amivel találkozik. Magyarul az alma jelenléte ''elegendő'' Jánosnak az alma megevésére.▼
# '''"<u>Csak akkor</u>, ha a gyümölcs egy alma, fogja János megenni."''' vagy '''"János <u>csak akkor</u> fogja megenni a gyümölcsöt, ha az alma."''' (ekvivalens a '''"<u>Ha</u> János megeszik egy gyümölcsöt, akkor az egy alma."''' vagy '''"János megeszi a gyümölcsöt ''→'' a gyümölcs egy alma"''' állításokkal)▼
#:Ez azt állítja, hogy az egyetlen gyümölcs, amit János megeszik, az az alma. Viszont azt nem rögzíti, hogy Jánosnak muszáj az almát megennie, amennyiben találkozik eggyel. Magyarul a ténynek, hogy János gyümölcsöt eszik ''kötelező'' velejárója az, hogy az a bizonyos gyümölcs alma legyen.▼
# '''"<u>Akkor és csak akkor</u>, ha a gyümölcs egy alma, fogja János megenni"''' vagy '''"János <u>akkor és csak akkor</u> eszi meg a gyümölcsöt, ha az egy alma"''' vagy '''"János megeszi a gyümölcsöt ''↔'' a gyümölcs egy alma"'''▼
#:Ez az állítás azonban tisztán és világosan azt közli, hogy János mindegyik, és csak olyan gyümölcsöt fogja megenni, amelyek almák, tehát nem utasít el egy almát sem, valamint más gyümölcsöt nem eszik az almán kívül. Ezért az alma jelenléte mind ''elegendő'', mind ''kötelező'' feltétele a gyümölcs evéséhez.▼
==Klasszikus igazságfeltételei==
Bármilyen logikát is tekintünk érvényesnek, az
59 ⟶ 44 sor:
| hamis || hamis || igaz
|}
▲==Megkülönböztetése az "akkor"-tól, a "csak akkor"-tól==
▲# '''"<u>Ha</u> a gyümölcs egy alma, János megeszi."''' vagy '''"János megeszi a gyümölcsöt <u>ha</u> az egy alma."''' (ekvivalens az '''"<u>Csak ha</u> megeszi János a gyümölcsöt, akkor alma;"''' vagy '''"János megeszi a gyümölcsöt ''←'' gyümölcs egy alma"''' állításokkal)
▲#:Ez csupán azt állítja, hogy János a gyümölcsök közül mindenképpen enni fog almát. Viszont annak a lehetőségét nem zárja ki, hogy János ehet banánt, kivit, vagy bármilyen más gyümölcsöt is, csupán azt tudjuk, hogy János bármilyen almát meg fog enni, amivel találkozik. Magyarul az alma jelenléte ''elegendő'' Jánosnak az alma megevésére.
▲# '''"<u>Csak akkor</u>, ha a gyümölcs egy alma, fogja János megenni."''' vagy '''"János <u>csak akkor</u> fogja megenni a gyümölcsöt, ha az alma."''' (ekvivalens a '''"<u>Ha</u> János megeszik egy gyümölcsöt, akkor az egy alma."''' vagy '''"János megeszi a gyümölcsöt ''→'' a gyümölcs egy alma"''' állításokkal)
▲#:Ez azt állítja, hogy az egyetlen gyümölcs, amit János megeszik, az az alma. Viszont azt nem rögzíti, hogy Jánosnak muszáj az almát megennie, amennyiben találkozik eggyel. Magyarul a ténynek, hogy János gyümölcsöt eszik ''kötelező'' velejárója az, hogy az a bizonyos gyümölcs alma legyen.
▲# '''"<u>Akkor és csak akkor</u>, ha a gyümölcs egy alma, fogja János megenni"''' vagy '''"János <u>akkor és csak akkor</u> eszi meg a gyümölcsöt, ha az egy alma"''' vagy '''"János megeszi a gyümölcsöt ''↔'' a gyümölcs egy alma"'''
▲#:Ez az állítás azonban tisztán és világosan azt közli, hogy János mindegyik, és csak olyan gyümölcsöt fogja megenni, amelyek almák, tehát nem utasít el egy almát sem, valamint más gyümölcsöt nem eszik az almán kívül. Ezért az alma jelenléte mind ''elegendő'', mind ''kötelező'' feltétele a gyümölcs evéséhez.
== Jegyzetek ==
| |||