8 kapcsolatok: De Morgan-azonosságok, Elsőrendű logika, George Boole, Implikáció, Kizárt harmadik elve, Logikai művelet, MathWorld, Reductio ad absurdum.
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!!: Negáció és De Morgan-azonosságok · Többet látni »
Elsőrendű logika
Az elsőrendű logika a matematikai logikának az elsőrendű nyelvekkel foglalkozó ága.
Új!!: Negáció és Elsőrendű logika · Többet látni »
George Boole
George Boole (Lincoln, Anglia, 1815. november 2. – Ballintemple, Írország, 1864. december 8.) angol matematikus és filozófus.
Új!!: Negáció és George Boole · Többet látni »
Implikáció
B Az implikáció, kondicionális vagy szubjunkció logikai művelet, használjuk a matematikai logikában, informatikában.
Új!!: Negáció és Implikáció · Többet látni »
Kizárt harmadik elve
A kizárt harmadik elve a logika történetében többféleképpen megfogalmazott alapelv.
Új!!: Negáció és Kizárt harmadik elve · Többet látni »
Logikai művelet
Logikai műveletek alatt az ítéletkalkulus ítéletein definiált műveleteket értünk, amelyek segítségével az ítéletekből újabb, összetett ítéleteket alkothatunk.
Új!!: Negáció és Logikai művelet · Többet látni »
MathWorld
A MathWorld egy online matematikai referenciaforrás, amelyet anyagilag a Wolfram Research Inc.
Új!!: Negáció és MathWorld · 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.