Prológus | 9 |
Ismerkedés a logika feladatával | 13 |
Nyelvhasználat és logika | 13 |
Következtetés | 14 |
A következtetés helyessége | 16 |
Hol van szükség a logikára? | 18 |
Ellenőrző kérdések | 19 |
Gyakorló feladat | 19 |
A logika nyelvtana | 20 |
Kijelentő mondat és állítás | 20 |
Individuumnevek | 22 |
A logikai grammatika alapkategóriái | 25 |
Funktorok | 26 |
A funktorkategóriák | 28 |
Ellenőrző kérdések | 30 |
Gyakorló feladatok | 31 |
Szemantikai értékek | 33 |
A mondatok szemantikai értékei | 34 |
A nevek szemantikai értékei | 36 |
Extenzionális és intenzionális funktorok | 38 |
Extenzionális logika | 42 |
Ellenőrző kérdések | 43 |
Gyakorló feladatok | 44 |
Extenzionális predikátumok | 45 |
Egyargumentumú predikátumok | 45 |
Kétargumentumú predikátumok | 48 |
Kettőnél több argumentumú predikátumok | 49 |
A klasszikus elsőrendű logika | 50 |
Ellenőrző kérdések | 51 |
Gyakorló feladatok | 51 |
Igazságfunktorok | 53 |
Logikai funktorok | 53 |
Negáció | 54 |
Logikai ekvivalencia | 56 |
Konjunkció | 59 |
Alternáció | 62 |
Kondicionális | 66 |
Bikondicionális | 70 |
Igazságfüggvények | 72 |
Ellenőrző kérdések | 74 |
Gyakorló feladatok | 75 |
Változók és kvantorok | 78 |
Változók és nyitott mondatok | 78 |
Kvantorok | 82 |
A kvantifikáció igazságföltétele | 85 |
Ellenőrző kérdések | 87 |
Gyakorló feladatok | 88 |
Univerzális és egzisztenciaállítások | 90 |
Az egzisztenciális kvnatifikáció felismerése | 90 |
Az univerzális kvnatifikáció felismerése | 94 |
A kvantifikáció fontosabb törvényei | 98 |
Egy következetetési példa | 102 |
Ellenőrző kérdések | 105 |
Gyakorló feladatok | 105 |
Az azonosság | 107 |
Az azonosságpredikátum értelmezése | 107 |
Az azonosság logikai törvényei | 108 |
Módszertani megjegyzések | 110 |
Az azonosság rejtett előfordulásai | 112 |
Ellenőrző kérdések | 116 |
Gyakorló feladatok | 116 |
A következményreláció | 117 |
Strukturálás, formalizálás, interpretálás | 117 |
Kielégíthetőség és következmény | 122 |
Logikai igazság és ekvivalencia | 126 |
Ellenőrző kérdések | 130 |
Gyakorló feladatok | 131 |
A következetetés ellenőrzésének módszerei | 132 |
Az analitikus táblázat módszere | 132 |
A módszer kiterjesztése kvantoros formulákra | 143 |
A Venn-diagramok módszere | 149 |
Ellenőrző kérdések | 157 |
Gyakorló feladatok | 157 |
Fogalmak és kapcsolatok | 162 |
A fogalmak fontosabb típusai | 162 |
Szükségszerűség és lehetőség | 164 |
Predikatív fogalmak kapcsolatai | 165 |
A relációk nevezetes típusai | 168 |
A definíciók | 174 |
Ellenőrző kérdések | 179 |
Gyakorló feladatok | 179 |
Függelék: A logika történetének vázlata | 181 |
A logikai gondolkodás születése | 181 |
Arisztotelész logikája | 182 |
Az igazságfüggvények első elmélete | 185 |
Az risztotelészi logika utóélete | 185 |
A szimbolikus logika kialakulása | 187 |
A logika fejlődése a 20. században | 188 |
A logika tárgya | 189 |
Feladatmegoldások | 193 |
Kislexikon | 205 |
A fontosabb logikai törvények táblázata | 220 |
Szimbólumok jegyzéke | 222 |
Útmutató a könyv használatához | 223 |
Irodalomjegyzék | 224 |