| Bevezetés. A célok megfogalmazása | 4 |
| A halmazelmélet alapismeretei | 10 |
| Meghatározások | 10 |
| Műveletek halmazokkal | 12 |
| Halmazok egyesítése | 12 |
| Halmazok metszetének képzése | 13 |
| Halmazok különbségének képzése | 14 |
| Összefoglalás | 14 |
| A fogalom és a vele kapcsolatos logikai műveletek | 15 |
| A fogalomról általában | 15 |
| A fogalom tartalma és terjedelme | 17 |
| A fogalmak fajtái | 18 |
| Általános és egyedi fogalom | 18 |
| Gyűtjő- és nem gyűjtő fogalom | 19 |
| Konkrét és absztrakt fogalom | 19 |
| Pozitív és negatív fogalom | 19 |
| Abszolút és relatív fogalom | 20 |
| A fogalmak közti viszonyok fajtái | 20 |
| Összehasonlítható és nem-összehasonlítható fogalmak | 20 |
| Összeegyeztethető fogalmak | 20 |
| Összeegyeztethetetlen fogalmak | 21 |
| Áttekintés | 23 |
| A fogalmakkal végezhető műveletek | 24 |
| A meghatározás | 24 |
| A felosztás | 32 |
| Az osztályozás | 34 |
| Az általánosítás | 35 |
| A határolás | 35 |
| A logikai ítéletek | 36 |
| A logikai ítéletről általában | 36 |
| Az ítélet tartalma és igazságértéke | 37 |
| Az ítélet fő alkotórészei | 38 |
| Az ítéletek főbb fajtái | 38 |
| Felosztás a tartalom jellege szerint | 39 |
| Felosztás minőség szerint | 39 |
| Felosztás terjedelem szerint | 40 |
| Felosztás módozat szerint | 40 |
| Felosztás a terminusok száma szerint | 41 |
| Ítéletek kapcsolata egymással | 41 |
| Felosztás az igazságértékek szerint | 42 |
| Felosztás egymáshoz rendeltség szerint | 42 |
| A logika alaptörvényei | 44 |
| Az azonosság törvénye | 44 |
| Az ellentmondás törvénye | 46 |
| A kizárt harmadik törvénye | 46 |
| Az elégséges alap törvénye | 47 |
| A matematikai logika elemei | 47 |
| A szimbolika | 48 |
| A logikai alapműveletek | 49 |
| A tagadás, a negáció | 49 |
| Az "ÉS" kapcsolat, a konjunkció | 50 |
| A "VAGY" kötőszó több értelme | 51 |
| A "VAGY" kapcsolat, a diszjunkció | 53 |
| A konjunkció és a diszjunkció dualitása | 54 |
| A "HA - AKKOR" kapcsolat, az implikáció | 55 |
| Implikáció helyett diszjunkció | 57 |
| Azonosságok a matematikai logikában | 57 |
| A logikai következtetésről | 63 |
| A következtetésről általában | 63 |
| Egy egyszerű példa | 64 |
| A következtetés grafikus ábrázolása | 67 |
| A logika eldöntésproblémája. A normálformák | 68 |
| Bizonyítás és cáfolás | 72 |
| A bizonyítás és cáfolás lényege | 72 |
| A bizonyítás struktúrája | 75 |
| A bizonyítandó tétel | 75 |
| A felhasznált érvek | 76 |
| A bizonyítás eljárása | 76 |
| A bizonyítás lezárása | 83 |
| A bizonyítás alapszabályai és alaphibái | 85 |
| A bizonyítás szabályai | 85 |
| A bizonyítás jellemző hibái | 85 |
| A cáfolás | 90 |
| Logikai bizonyítás közlekedési büntető ügyekben | 91 |
| Mindenről mégegyszer | 101 |
| Amiről nem volt szó, kitekintés | 104 |
| Logika és számítástechnika | 104 |
| Valószínűségi bizonyítás | 105 |
| Egyéb logikai módszerek | 108 |
| Befejezés | 109 |
| Ábrák | 111 |
Folytatás Microsoft-tal