Szimbolikus logika I.

Eötvös Loránd Tudományegyetem Bölcsészettudományi kar - Klasszikus kétértékű logika/Kézirat

Szerző

G. Havas Katalin

Madarászné Zsigmond Anna

Ruzsa Imre

Szerkesztő

Ruzsa Imre

Budapest

'G. Havas Katalin: Szimbolikus logika I. ' összes példány

Kiadó:	Tankönyvkiadó Vállalat
Kiadás helye:	Budapest
Kiadás éve:	1983
Kötés típusa:	Ragasztott papírkötés
Oldalszám:	201 oldal
Sorozatcím:
Kötetszám:
Nyelv:	Magyar
Méret:	24 cm x 17 cm
ISBN:
Megjegyzés:	Kézirat. 105 példányban jelent meg. 42 fekete-fehér ábrával illusztrálva. Tankönyvi szám: J2-919.

É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

Előszó

Mivel foglalkozik a szimbolikus logika?
A címben felvetett kérdést megválaszolni maga a jegyzet egésze hivatott. E helyen csak arra vállalkozhatunk, hogy előzetes képet, megközelítő leírást adjunk... Tovább

Tartalom

Útmutató a jegyzet használatához	7
Bevezetés. Mivel foglalkozik a szimbolikus logika?	9
Gyakorlatok	16
Kijelentéslogika	18
Kijelentéslogikai műveletek	18
Gyakorlatok	28
Az igazságfüggvények összes lehetséges fajtáiról	30
Gyakorlatok	35
Azonosságok	36
Gyakorlatok	39
Kielégíthető, kielégíthetetlen és érvényes formulák	41
Néhány nevezetes kijelentéslogikai következtetési eljárás	43
Gyakorlatok	49
Következtetések helyességének vizsgálata táblázatos módszerrel	50
Gyakorlatok	56
Következmények keresése adott premisszákból	57
Gyakorlatok	61
A következményfogalomról	61
Az áramkörök logikája	63
Gyakorlat	69
Osztálylogika	70
Az osztálylogika alapfogalmai	70
Gyakorlatok	74
Matematikai segédeszközök	74
Gyakorlatok	83
Műveletek predikátumokkal és osztályokkal	84
Gyakorlatok	86
Fogalmak közötti kapcsolatok ábrázolása az osztálylogikában	86
Gyakorlat	90
Kvantifikált kijelentések ábrázolása az osztálylogikában	90
Gyakorlatok	94
A kategorikus kijelentések közötti viszonyok	95
Gyakorlatok	100
Következtetések az osztálylogikában. A kategorikus szillogizmusok	100
Gyakorlatok	111
Szinguláris terminusok	112
Gyakorlatok	114
Az osztálylogika korlátai	115
Predikátumlogika	116
A predikátum fogalmának általánosítása	116
Gyakorlatok	120
A predikátorlogika alapfogalmai	121
Gyakorlatok	129
A predikátumlogika formalizált nyelve	130
Gyakorlat	138
Kijelentések formalizálása a predikátumlogikában	138
Gyakorlatok	154
Az interpretáció fogalma a predikátumlogikában	155
Gyakorlatok	164
Analitikus táblázatok	164
Gyakorlatok	180
Az eldöntésprobléma	181
Gyakorlatok	195
Megjegyzések a gyakorlatokhoz	197
Névmutató	199
Irodalomjegyzék	200