A logika elemei

Összefoglaló

Megjegyzés: Fekete-fehér ábrákkal.
TARTALOM
Ismerkedés a logika feladatával 9
Logika és nyelvhasználat 9
Következtetés 10
A következtetés helyessége 12
Hol van szükség a logikára? 14
Ellenőrző kérdések 15
Gyakorló feladatok 16
A logika nyelvtana 17
Kijelentő mondat és állítás 17
Individuumnevek 20
A logikai grammatika alapkategóriái 23
Funktorok 23
A funktorkategóriák 26
Ellenőrző kérdések 29
Gyakorló feladatok 29
Szemantikai értékek 31
A mondatok szemantikai értékei 32
A nevek szemantikai értékei 34
Extenzionális és intenzionális funktorok 35
Extenzionális logika 40
Ellenőrző kérdések 41
Gyakorló feladatok 42
Extenzionális predikátumok 43
Egargumentumú predikátumok 43
Kétargumentumú predikátorok 46
Kettőnél több argumentumú predikátorok 47
A klasszikus elsőrendű logika 48
Ellenőrző kérdések 49
Gyakorló feladatok 50
Igazságfunktorok 51
Logikai funktorok 51
Negáció 52
Logikai ekvivalencia 55
Konjukció 57
Alternáció 61
Kondicionális 65
Bikondicionális 69
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 86
Ellenőrző kérdések 88
Gyakorló feladatok 88
Univerzális és egzisztenciaállítások 90
Az egzisztenciális kvantifikáció felismerése 90
Az univerzális kvantifikáció felismerése 95
A kvantifikáció fontosabb törvényei 99
Egy következtetett példa 104
Ellenőrző kérdések 107
Gyakorló feladatok 108
Az azonosság 109
Az azonosságpredikátum értelmezése 109
Az azonosság logikai törvényei 110
Módszertani megjegyzések 112
Az azonosság rejtett előfordulásai 114
A relációk nevezetes típusai 119
Ellenőrző kérdések 125
Gyakorló feladatok 125
A következményreláció 127
Strukturálás, formalizálás, interpretálás 127
Kielégíthetőség és következmény 133
Logikai igazság és ekvivalencia 137
Ellenőrző kérdések 142
Gyakorló feladatok 142
A következtetés ellenőrzésének módszerei 143
Az analitikus táblázat módszere 143
A módszer kiterjesztése kvantoros formulákra 152
A Venn-diagramok módszere 159
Ellenőrző kérdések 169
Gyakorló feladatok 169
Fogalmak és kapcsolataik 174
A fogalmak fontosabb típusai 174
Szükségszerűség és lehetőség 176
Predikatív fogalmak kapcsolatai 177
A definíciók 181
Paradoxonok és logikai hibák 186
Ellenőrző kérdések 188
Gyakorló feladatok 188
Feladatmegoldások 190
Kislexikon 197
A fontosabb logikai törvények táblázata 211
Szimbólumok jegyzéke 213
Útmutató a könyv használatához 214
Irodalomjegyzék 216