A szimbolikus logika elemei

ELTE Bölcsészettudományi Kar/Egységes jegyzet

Szerző

Budapest

'Ruzsa Imre: A szimbolikus logika elemei ' összes példány

Kiadó:	Tankönyvkiadó Vállalat
Kiadás helye:	Budapest
Kiadás éve:	1982
Kötés típusa:	Ragasztott papírkötés
Oldalszám:	221 oldal
Sorozatcím:
Kötetszám:
Nyelv:	Magyar
Méret:	24 cm x 17 cm
ISBN:
Megjegyzés:	Fekete-fehér ábrákkal. Tankönyvi szám: J2-1169

É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

Bevezetés	9
A logika tudományáról	9
A klasszikus kétértékű logika	12
Az igazságfüggvények elmélete (Az állítások elemi logikája)	17
A negáció	18
A negáció értelmezése	18
A kettősnegáció	20
A negáció műszaki alkalmazásai (Olvasmány)	21
Gyakorló feladatok	22
A konjukció	23
A konjukció értelmezése	23
A konjukció stiláris változatai	24
A konjukció törvényei	26
A konjukció műszaki alkalmazásai (Olvasmány)	27
Gyakorló feladatok	28
Igazságfüggvények	28
Az igazságfüggvények értelmezése	28
A "sem-sem" művelet	30
A Sheffer művelet	31
Elektronikai alkalmazások (Olvasmány)	32
Gyakorló feladatok	33
Az alternáció	33
Az alternáció értelmezése	33
Az alternáció törvényei	35
Az igazságfüggvények nyelvi kifejezhetősége	36
Az alternáció műszaki alkalmazásai (Olvasmány)	37
Gyakorló feladatok	39
Analitikus táblázatok	40
Összetett állítások igazságfeltételei	40
Analitikus táblázatok	47
Gyakorló feladatok	45
A kondicionális	46
A feltételes állítások	46
A kondicionális értelmezése	48
A kondicionális törvényei	50
A feltételes állítás stiláris variánsai	53
Gyakorló feladatok	54
A bikondicionális	55
A bikondicionális értelmezése	55
A diszjunkció	57
A "vagy" kötőszó logikai szerepéről	58
Gyakorló feladatok	59
Formalizálás és igazságértékelés	60
Az igazságfüggvények áttekintése	60
A formula fogalma az igazaágfüggvények elméletében	61
Formalizálás	62
Interpretáció	64
Igazságértékelés	65
Gyakorló feladatok	65
Kielégíthetőség, érvényesség, következmény	66
Kielégíthető és kielégíthetetlen formulaosztályok	66
A kielégíthetőség vizsgálata	68
A következményreláció	69
A következményreláció és az érvényesség kapcsolata	73
Nevezetes következtetési sémák	76
Záró megjegyzések a következményralációhoz	77
Gyakorló feladatok	78
Kvantifikációelmélet (A predikátumok logikája)	80
Individuumok és predikátumok	80
Egy- és többargumentumú predikátumok	80
Predikátumok és in-nevek (Kiegészítés)	82
Műveletek nyitott mondatokkal	85
Gyakorló feladatok	86
Kvantifikáció	87
A kvantifikáció értelmezése	87
A kvantifikáció igazságfeltételei	90
A kvantifikáció alaptörvényei	91
Gyakorló feladatok	94
Az állítások finom szerkezetének föltárása	94
Az egzisztenciális kvantor fölismerése	94
Az univerzális kvantor fölismerése	97
Néhány összetett példa	104
Gyakorló feladatok	105
Egyrétű kvantifikáció	106
Az egyrétű kvantifikáció alapfogalmai	107
Venn-diagramok	108
Kategórikus állítások (Olvasmány)	114
Gyakorló feladatok	117
Következtetések az egyrétű formulák körében	118
Következtetés vizsgálata Venn-diagrammal	118
A láncszabály és alkalmazásai	119
Egyéb következtetési példák	123
Elméleti összefoglalás	126
A kategórikus szillogizmusok (Olvasmány)	129
A kielégíthetőség vizsgálatának általános módszere	130
Gyakorló feladatok	134
Predikátumok kapcsolatai	135
Két (egyargumanetumú) predikátum extenzionális kapcsolatai	136
Két predikátum intenzionális kapcsolatai	137
Nevezetes relációtípusok	139
A felosztás	140
A definíció	142
Gyakorló feladatok	146
Az általános kvantifikációelmélet	147
A kvantifikációelmélet grammatikája	147
A centrális logikai fogalmak	149
A kielégíthetőség viszgálata	150
Az eldöntésprobléma	152
Gyakorló feladatok	155
Az azonosságpredikátum	156
Az azonosság alaptörvényei	156
Elvi problémák	159
Alkalmazási példák	160
Gyakorló feladatok	162
Áttekintés	163
Függelék (Túl a logika elemein)	167
Deskripciók	167
Magasabbrendű logika	171
A másodrendű logika	171
A típuselmélet	173
Logikai kalkulusok	175
Az axiomatikus módszer	179
Modális logika	183
Modalitástípusok	183
Modális állításkalkulusok	188
Elsőrendű modális kalkulusok	192
Modális szemantika	193
Individuumok modális kontextusban	197
Többértékű logikák	201
Feladatmegoldások	205
Az igazságfüggvények elmélete	205
Kvantifikációelmélet	212
Irodalomjegyzék	219
Tanári útmutató	220

Témakörök

Ruzsa Imre

Ruzsa Imre műveinek az Antikvarium.hu-n kapható vagy előjegyezhető listáját itt tekintheti meg: Ruzsa Imre könyvek, művek

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