Bevezetés a logikába

Egységes Jegyzet/Kézirat

Szerző

Ruzsa Imre

Pólos László

Szerkesztő

Palojtay Mária

Budapest

'Ruzsa Imre: Bevezetés a logikába ' összes példány

Kiadó:	Nemzeti Tankönyvkiadó
Kiadás helye:	Budapest
Kiadás éve:	1996
Kötés típusa:	Ragasztott papírkötés
Oldalszám:	314 oldal
Sorozatcím:
Kötetszám:
Nyelv:	Magyar
Méret:	23 cm x 17 cm
ISBN:
Megjegyzés:	Kézirat. Tankönyvi szám: J 2-1531. Fekete-fehér ábrákkal illusztrálva.

Értesítőt kérek a kiadóról

A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról

Tartalom

Útmutató a jegyzet használatához	7
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
Ellenőrző kérdések	19
Gyakorló feladatok	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	31
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	43
Ellenőrző kérdések	44
Gyakorló feladatok	44
Extenzionális predikátumok	45
Egargumentumú predikátumok	45
Kétargumentumú predikátorok	48
Kettőnél több argumentumú predikátorok	50
A klasszikus elsőrendű logika	50
Ellenőrző kérdések	51
Gyakorló feladatok	52
Igazságfunktorok	53
Logikai funktorok	53
Negáció	54
Logikai ekvivalencia	56
Konjukció	59
Alternáció	63
Kondicionális	66
Bikondicionális	70
Igazságfüggvények	72
Ellenőrző kérdések	75
Gyakorló feladatok	76
Változók és kvantorok	79
Változók és nyitott mondatok	79
Kvantorok	84
A kvantifikáció igazságföltétele	87
Ellenőrző kérdések	89
Gyakorló feladatok	89
Univerzális és egzisztenciaállítások	91
Az egzisztenciális kvantifikáció felismerése	91
Az univerzális kvantifikáció felismerése	95
A kvantifikáció fontosabb törvényei	98
Egy következtetett példa	102
Ellenőrző kérdések	105
Gyakorló feladatok	106
Az azonosság	108
Az azonosságpredikátum értelmezése	108
Az azonosság logikai törvényei	109
Módszertani megjegyzések	111
Az azonosság rejtett előfordulásai	113
Ellenőrző kérdések	117
Gyakorló feladatok	117
A következményreláció	119
Strukturálás, formalizálás, interpretálás	119
Kielégíthetőség és következmény	126
Logikai igazság és ekvivalencia	130
Ellenőrző kérdések	135
Gyakorló feladatok	135
A következtetés ellenőrzésének módszerei	136
Az analitikus táblázat módszere	136
A módszer kiterjesztése kvantoros formulákra	148
A Venn-diagramok módszere	156
Ellenőrző kérdések	163
Gyakorló feladatok	169
Feladatmegoldások	174
A fontosabb logikai törvények	186
Szimbólumok jegyzéke	188
Függelék	189
A klasszikus logika mint kalkulus	189
Elsőrendű formalizált nyelvek	189
A klasszikus elsőrendű kalkulus	192
Levezetések QC-ben	196
Konzisztens és inkonzisztens formulahalmazok	203
A QC kalkulus teljessége	207
A klasszikus állításkalkulus	208
Gyakorló feladatok	210
Deskripciók. Szemantikai értékrés	211
A deskripciók logikai szerkezete	211
Deskripció és értékrés	217
Nyitott deskriptőr hatókörében	224
Deskripció deskriptor hatókörében	224
Értékréses elsőrendű logika	226
Gyakorló feladatok	228
Modális logika	229
A modális szavak	229
Modális szemantika	233
Modalitás és kvantivikáció	236
DE DICTO és DE RE modalitások	242
A T rendszer fontosabb törvényei	244
Egyéb modális rendszerek	248
Modális kalkulusok	255
Fogalmak kapcsolatainak kifejezése modális operátorokkal	257
Gyakorló feladatok	267
Intenzionális logika	269
A teljes extenzionális logika	269
A G-szemantika és az EC kalkulus	277
Az intenzionális típuselmélet	279
Intenzionális típuselméleti nyelvek	287
Definícóval bevezetett logikai jelek	294
Alkalmazási példák	296
Gyakorló feladatok	299
A logika történetének vázlata	301
A logikai gondolkodás születése	301
Arisztotelész logikája	302
Az igazságfüggvények első elmélete	305
Az arisztotelészi logika utóélete	306
A szimbolikus logika kialakulása	308
A logika fejlődése a 20. században	309
Útmutató a FÜGGELÉK feladataihoz	311
Szimbólumok jegyzéke a FÜGGELÉKhez	314
Irodalomjegyzék	316

Témakörök

Megvásárolható példányok

Nincs megvásárolható példány
A könyv összes megrendelhető példánya elfogyott. Ha kívánja, előjegyezheti a könyvet, és amint a könyv egy újabb példánya elérhető lesz, értesítjük.

Előjegyzem