Matematikai logika kezdőknek 2.

Szerző

Grafikus

Lektor

Budapest

'Varga Tamás: Matematikai logika kezdőknek 2. ' összes példány

Kiadó:	Tankönyvkiadó Vállalat
Kiadás helye:	Budapest
Kiadás éve:	1966
Kötés típusa:	Fűzött papírkötés
Oldalszám:	275 oldal
Sorozatcím:
Kötetszám:
Nyelv:	Magyar
Méret:	20 cm x 14 cm
ISBN:
Megjegyzés:	160 fekete-fehér ábrával illusztrált. Tankönyvi szám: 52257/II.

É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

Új utak keresése	9
Mágnes és gózis	9
Eddigi módszerünk korlátai	11
Egy új jelölés	12
Felbontjuk az eddig felbonthatatlant	14
Feladatok	16
Egyváltozós logikai függvények. Halmazok	21
Nagybetű, kisbetű	21
Állítmány, alany	22
Tulajdonság, dolog. Kitérő a relációkra	23
Halmaz, elem	24
Két halmaz egy univerzumban	29
Kvantorok. Hogyan lehet nyitott állításból ítélet?	33
Két halmaz minden lehetséges viszonya. Üres halmaz	34
Feladatok	40
Következtetés rajz útján	43
Caroll és a kengurúk	43
Rajzok, formulák	50
Részhalmaz	51
Elem	52
Egyenlőség	53
Metszet	54
Unió	55
Komplementum	56
Logikai jelölés, halmazjelölés	57
Televízió és szobafestés	58
Cegléd, agglegények, szenvedélyek	60
Kosárlabda-edzés	62
Rajzzal vagy rajz nélkül?	63
Megoldás rajz nélkül	66
Feladatok	68
Következtetés formális lépésekben	71
Programunk	71
Elrendezzük eszközeinket, először az azonosságokat	71
Más fontos következtetésformák	74
Átalakítási szabályok	75
Érdemes-e kevesebb eszközzel dolgozni?	77
Régi következtetés új formában	78
Lenyilazás	82
Ellentmondó premisszák	85
Premissza bevezetése menet közben. Indirekt bizonyítás	86
Azonosságok bizonyítása levezetés útján	88
Feladatok	90
Kvantorokkal kapcsolatos következtetések	91
Üres univerzum?	95
Alkalmazás összetett kifejezésekre	98
Szabályszerű helyettesítés	99
Ellenérvek	102
Nyitott állítások a levezetésben	104
Nyitott formulák a levezetésben	106
Mi az, hogy egy nyitott formula azonosan igaz?	107
Alkalmazás két kvantorkövetkeztetésre	108
Alkalmazás a másik két kvantorkövetkeztetésre	109
Mi az, ami mégis igaz?	111
"Gyenge kvantorkövetkeztetés"	112
Korlátozás: a keret legyen mindig új	113
Első korlátozás: oda-vissza szabályszerű helyettesítés	115
Második korlátozás: származó keret nem lehet a formulában	120
Harmadik korlátozás: keretes premisszától nem függhet a formula	122
A kvantorkövetkeztetések összefoglalása	124
Mit érnek a kvantorkövetkeztetések?	125
A kikötések mások is lehetnének	128
Feladatok	136
Több változós logikai függvények. Relációk	139
Bonyodalmak egy mindennapos következtetés körül	139
Kétváltozós logikai függvény	141
Beválnak-e most is az eszközeink?	145
Későn kelő lelhet-e fényeset?	147
Visszakozás	149
Ítéletek és logikai függvények	151
Koordinátás ábrázolás	152
Visszakozás	149
Ítéletek és logikai függvények	151
Koordinátás ábrázolás	152
Vissza a régi ábrázoláshoz!	156
Logikai függvények megadása felsorolással	158
Tulajdonság, reláció	161
Néhány kétváltozós reláció és tulajdonságaik	163
Feladatok	168
Formalizálás és levezetés több változós függvények körében	173
Fordítási gyakorlatok	173
Kitekintés a bővített függvénykalkulusra	186
Levezetési gyakorlatok	188
Egy háromváltozós feladat	195
Rejtett premisszák	197
Feladatok	198
Számadás	201
Mit értünk el?	201
Az aeiou-i szóprobléma	204
1. függelék. Szillogizmusok mai szemmel	207
Mentegetődzés és magyarázat	207
A kategorikus szillogizmusok	209
Hat eset helyett négy vagy nyolc	211
Következtetés a 36 (vagy 64) premisszapárból	214
A létezés feltételezés	217
A kategorikus szillogizmusok "elméletéről"	224
Furcsa mondatok	231
Feladatok	234
Megoldások	235
Kvantorokat tartalmazó azonosságok	275
Irodalomjegyzék	277