| I. kötet | |
| Mi a matematikai logika? | |
| Jóska okoskodása | 9 |
| Betűk használata | 11 |
| Egy másik következtetésforma | 12 |
| Mikor mondunk helyesen egy következtetésformát? | 13 |
| Mikor mondunk helyesen egy következtetést? | 15 |
| Könyvünk tárgya | 16 |
| Feladatok | 19 |
| Néhány logikai művelet | |
| Kételyek és megnyugtatás | 21 |
| Az igazság oszthatatlan | 23 |
| A logikai egyszeregy: a konjunkció táblázata | 24 |
| Egy másik logikai művelet: a diszjunkció | 25 |
| A kizáró diszjunkció | 26 |
| Amikor a kétféle "vagy" ugyanazt jelenti | 27 |
| Még egy harmadik "vagy" | 28 |
| A logika a hibás, vagy az élő nyelv? | 29 |
| A matematikai logika elszürkíti a valóságot? | 30 |
| Nem mind arany, ami fénylik | 31 |
| A negáció | 32 |
| Egy félreértés eloszlatása | 33 |
| Többszörös negáció | 33 |
| Negáció és diszjunkció együtt | 34 |
| Az implikáció | 37 |
| Az implikáció kapcsolata a diszjunkcióval | 38 |
| Baj van az implikációval? | 39 |
| A hamis előtagú implikációról | 40 |
| Bebizonyítjuk egy következtetésforma helyességét | 41 |
| Ugyanaz rövidebben | 43 |
| Feladatok | 43 |
| Algebra és logika | |
| Megpróbálunk párhuzamot vonni | 49 |
| A konjunkció kommutatív és asszociatív tulajdonsága | 51 |
| Azonosságok a matematikai logikában | 52 |
| Mi helyett is áll hát A, B, C? | 53 |
| Példák a konjunkció tulajdonságaira | 54 |
| A diszjunkció megfelelő tulajdonságai | 54 |
| Általánosítás több tagra | 55 |
| Helyettesítés | 56 |
| A kontrapozíció törvénye | 57 |
| Pótlás | 58 |
| Melyik a jobb párhuzam? | 59 |
| Ellenpróba | 62 |
| Példák a kétféle disztributivitásra | 63 |
| A disztributivitás általánosítása több tagra | 64 |
| Idempotencia | 65 |
| Negáció és konjunkció, negáció és diszjunkció | 66 |
| Más bizonyítás, általánosítás | 68 |
| Példák de Morgan azonosságaira | 69 |
| Dualitás | 69 |
| Feladatok | 70 |
| A logikai műveletek áttekintése | |
| Az egyváltozós logikai műveletek | 75 |
| A kétváltozós logikai műveletek | 76 |
| Az ekvivalencia | 79 |
| Az ekvivalencia mint kétirányú implikáció | 80 |
| Az ekvivalencia és a kizáró diszjunkció kapcsolata | 80 |
| Ekvivalencia és azonosság | 81 |
| A többi három művelet | 83 |
| Elégedjünk meg kevesebb művelettel! | 83 |
| A 16 kétváltozós művelet áttekintése | 84 |
| További csökkentések? | 85 |
| Többváltozós műveletek | 86 |
| Többváltozós műveletek előállítása negációval, konjunkcióval, diszjunkcióval | 88 |
| Teljes diszjunktív normálforma | 90 |
| Értéktáblázat leolvasása teljes diszjunktív normálformáról | 90 |
| Teljes konjunktív normálforma | 91 |
| A műveletek ábrázolása | 93 |
| Elemi ítélet | 98 |
| Ítéletkalkulus | 99 |
| Feladatok | 99 |
| Azonosság és következtetés | |
| Több premissza helyett egy, egy premissza helyett több | 109 |
| Megfordítható és meg nem fordítható következtetésformák | 104 |
| Helyes következtetésformából azonosan igaz implikáció | 106 |
| Azonosan igaz implikációból helyes következtetésforma | 107 |
| Megfordítható következtetésformák és azonosan igaz ekvivalenciák | 108 |
| Megfordítható következtetésformák és azonosságok | 109 |
| Összefoglalás | 110 |
| Indirekt bizonyítás | 111 |
| Feladatok | 114 |
| Keressük a konklúziót! | |
| Ismerjük a premisszákat, keressük a konklúziót | 115 |
| Kivel megy Zsuzsi? | 115 |
| Ugyanaz más jelöléssel | 117 |
| Közvetlen okoskodás kontra egyenlet | 118 |
| Ki a tettes | 121 |
| Nem mindig dönthető el, mi a változók értéke | 125 |
| Következtetés próbálgatással | 126 |
| Helyesen következtettünk-e? | 127 |
| Következtetés próbálgatás nélkül | 129 |
| Feladatok | 131 |
| Híd az elmélettől a gyakorlat felé | |
| Mi teszi lehetővé a gyakorlati alkalmazásokat? | 133 |
| Konjunkció és sorbakapcsolás | 134 |
| Diszjunkció és práhuzamos kapcsolás | 134 |
| Kettőnél több konjunkció vagy diszjunkció | 135 |
| Többféle művelet egyszerre | 136 |
| Bármely összetett ítéletnek megfelel egy elektromos hálózat | 137 |
| Egy érdekes alkalmazás | 137 |
| Feladatok | 140 |
| A feladatok megoldása | |
| Utószó | 187 |
| Irodalomjegyzék | 193 |
| Azonosságok jegyzéke | 195 |
| Tárgy- és névmutató | 197 |
Folytatás Microsoft-tal