1.031.421

kiadvánnyal nyújtjuk Magyarország legnagyobb antikvár könyv-kínálatát

A kosaram
0
MÉG
5000 Ft
a(z) 5000Ft-os
szállítási
értékhatárig

A szimbolikus logika elemei

Egységes jegyzet/Kézirat/Eötvös Loránd Tudományegyetem Bölcsészettudományi Kar

Szerző

Kiadó: Tankönyvkiadó Vállalat
Kiadás helye: Budapest
Kiadás éve:
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: Tankönyvi szám: J2-1169. Megjelent 909 példányban. 64 fekete-fehér ábrával illusztrálva. Kézirat.
É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
A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról

Előszó

a logika tudományának tárgya szoros kapcsolatban van az emberi gondolkodással. Feladatai közé tartozik az emberi gondolkodás azon módszereinek tanulmányozása, amelynek segítségével a már... Tovább

Előszó

a logika tudományának tárgya szoros kapcsolatban van az emberi gondolkodással. Feladatai közé tartozik az emberi gondolkodás azon módszereinek tanulmányozása, amelynek segítségével a már megszerzett ismeretekből új ismeretekhez juthatunk. Ha egyáltalán lehetséges ilyen ismeretszerzés, akkor csak úgy lehetséges, hogy a megszerzett ismeretek tárgya és az új ismeretek tárgya között objektív, törvényszerű összefüggés létezik. A logikai módszerek tehát nem puszta "gondolkodási szabályok", hanem a gondolkodástól független külvilág bizonyos fajta összefüggéseinek az emberi nem számára megragadható formái. Emberi gondolkodás nincs nyelv nélkül, s ezért általában a logika a gondolkodás nyelvi formában való kifejezéséhez kapcsolódik. A logika tárgyának problémájával részletesebben csak a logika elemeinek elsajátítása után, tehát tananyagunk végén, foglalkozhatunk.
Adott ismeretekből új ismeretek szerzése gondolkodás útján - röviden: logikai ismeretszerzés - változatos formákban valósulhat meg, és különböző szempontokból kutatható, tanulmányozható. Ez motiválja a logika különböző ágait. Vissza

Tartalom

Bevezetés9
A logika tudományáról9
A klasszikus kétértékű logika12
Az igazságfüggvények elmélete (Az állítások elemi logikája)17
A negáció18
A negáció értelmezése18
A kettősnegáció20
A negáció műszaki alkalmazásai (Olvasmány)21
Gyakorló feladatok22
A konjukció23
A konjukció értelmezése23
A konjukció stiláris változatai24
A konjukció törvényei26
A konjukció műszaki alkalmazásai (Olvasmány)27
Gyakorló feladatok28
Igazságfüggvények28
Az igazságfüggvények értelmezése28
A "sem-sem" művelet30
A Sheffer művelet31
Elektronikai alkalmazások (Olvasmány)32
Gyakorló feladatok33
Az alternáció33
Az alternáció értelmezése33
Az alternáció törvényei35
Az igazságfüggvények nyelvi kifejezhetősége36
Az alternáció műszaki alkalmazásai (Olvasmány)37
Gyakorló feladatok39
Analitikus táblázatok40
Összetett állítások igazságfeltételei40
Analitikus táblázatok47
Gyakorló feladatok45
A kondicionális46
A feltételes állítások46
A kondicionális értelmezése48
A kondicionális törvényei50
A feltételes állítás stiláris variánsai53
Gyakorló feladatok54
A bikondicionális55
A bikondicionális értelmezése55
A diszjunkció57
A "vagy" kötőszó logikai szerepéről58
Gyakorló feladatok59
Formalizálás és igazságértékelés60
Az igazságfüggvények áttekintése60
A formula fogalma az igazaágfüggvények elméletében61
Formalizálás62
Interpretáció64
Igazságértékelés65
Gyakorló feladatok65
Kielégíthetőség, érvényesség, következmény66
Kielégíthető és kielégíthetetlen formulaosztályok66
A kielégíthetőség vizsgálata68
A következményreláció69
A következményreláció és az érvényesség kapcsolata73
Nevezetes következtetési sémák76
Záró megjegyzések a következményrelációhoz77
Gyakorló feladatok78
Kvantifikációelmélet (A predikátumok logikája)80
Individuumok és predikátumok80
Egy- és többargumentumú predikátumok80
Predikátumok és in-nevek (Kiegészítés)82
Műveletek nyitott mondatokkal85
Gyakorló feladatok86
Kvantifikáció87
A kvantifikáció értelmezése87
A kvantifikáció igazságfeltételei90
A kvantifikáció alaptörvényei91
Gyakorló feladatok94
Az állítások finom szerkezetének föltárása94
Az egzisztenciális kvantor fölismerése94
Az univerzális kvantor fölismerése97
Néhány összetett példa104
Gyakorló feladatok105
Egyrétű kvantifikáció106
Az egyrétű kvantifikáció alapfogalmai107
Venn-diagramok108
Kategórikus állítások (Olvasmány)114
Gyakorló feladatok117
Következtetések az egyrétű formulák körében118
Következtetés vizsgálata Venn-diagrammal118
A láncszabály és alkalmazásai119
Egyéb következtetési példák123
Elméleti összefoglalás126
A kategórikus szillogizmusok (Olvasmány)129
A kielégíthetőség vizsgálatának általános módszere130
Gyakorló feladatok134
Predikátumok kapcsolatai135
Két (egyargumanetumú) predikátum extenzionális kapcsolatai136
Két predikátum intenzionális kapcsolatai137
Nevezetes relációtípusok139
A felosztás140
A definíció142
Gyakorló feladatok146
Az általános kvantifikációelmélet147
A kvantifikációelmélet grammatikája147
A centrális logikai fogalmak149
A kielégíthetőség viszgálata150
Az eldöntésprobléma152
Gyakorló feladatok155
Az azonosságpredikátum156
Az azonosság alaptörvényei156
Elvi problémák159
Alkalmazási példák160
Gyakorló feladatok162
Áttekintés 163
Függelék (Túl a logika elemein)167
Deskripciók167
Magasabbrendű logika171
A másodrendű logika171
A típuselmélet173
Logikai kalkulusok175
Az axiomatikus módszer179
Modális logika183
Modalitástípusok183
Modális állításkalkulusok188
Elsőrendű modális kalkulusok192
Modális szemantika193
Individuumok modális kontextusban197
Többértékű logikák201
Feladatmegoldások205
Az igazságfüggvények elmélete205
Kvantifikációelmélet212
Irodalomjegyzék219
Tanári útmutató220

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
Állapotfotók
A szimbolikus logika elemei A szimbolikus logika elemei A szimbolikus logika elemei A szimbolikus logika elemei

A borítón színezések láthatók. A borító enyhén kopott, elszíneződött. Néhány lapon jelölések, bejegyzések láthatók.

Állapot: Közepes
1.740 Ft
1.390 ,-Ft 20
7 pont kapható
Kosárba
konyv