Matematikai logika

– „Gógyis” feladatok

– Bevezető feladatok

– Az ítélet

– Logikai műveletek

o A negáció (tagadás)

o A konjunkció (és; AND)

o A diszjunkció (vagy; OR)

o A konjunkció és a diszjunkció műveleti tulajdonságainak összehasonlítása

o Az antivalencia (kizáró vagy; XOR)

o Az implikáció (feltételes állítás; ha p akkor q)

o Az ekvivalencia (akkor és csak akkor)

– Középszintű feladatok

– Emelt szintű feladatok

– Felírás igazságtábla alapján

– Összefoglalás

– A matematikai logika kezdetei

– Olvasnivaló: Matematikai logika Wiki

– A logika története Arisztotelész