3 kapcsolatok: Bikondicionális, De Morgan-azonosságok, Reductio ad absurdum.
Bikondicionális
\leftrightarrow \Leftrightarrow \equiv a bikondicionálist jelölőlogikai szimbólumok Az akkor és csak akkor kifejezés egy természetes nyelvi, logikai természetű viszony (reláció), elnevezése a logikai grammatikában bikondicionális.
Új!!: Implikáció és Bikondicionális · Többet látni »
De Morgan-azonosságok
A de Morgan-féle azonosságok logikai kapukkal ábrázolva A De Morgan-azonosságok a matematikai logika, illetve a halmazelmélet két alapvető tételét fogalmazzák meg.
Új!!: Implikáció és De Morgan-azonosságok · Többet látni »
Reductio ad absurdum
A reductio ad absurdum (latin: visszavezetés az abszurdra) az érvelés egy formája, amely során az érvelő a vita kedvéért elfogad egy állítást, megmutatja, hogy valamilyen képtelenség következik belőle, és ebből arra jut, hogy az állítás mégse volt igaz.