MeRSZ online
okoskönyvtár

Több száz tankönyv egy helyen.
Online. Bárhol. Bármikor.

Válts MeRSZ+ -ra!

Hankovszky Tamás

Elsőrendű logika


Centrális szemantikai fogalmak

A kielégíthetőséget formulaosztályokra definiáljuk. Egy Γ formulaosztály kielégíthető, ha van olyan Ip = 〈U, Φ〉 interpretáció és ehhez csatlakozó v értékelés, hogy minden A formulára: ha A ∈ Γ, akkor |A|vIp = 1. Más szóval a formulák egy osztálya akkor kielégíthető, ha van olyan interpretáció és értékelés, amely a formulaosztály minden tagját igazzá teszi, tehát ha lehet úgy interpretálni és értékelni az osztály formuláiban előforduló szimbólumokat, hogy a formulaosztály minden formulája igaz legyen. Röviden, kevésbé szabatosan: a kielégíthetőség az együttes igazság lehetősége.

Elsőrendű logika

Tartalomjegyzék


Kiadó: Akadémiai Kiadó

Online megjelenés éve: 2018

ISBN: 978 963 454 254 4

E jegyzet célja, hogy segítse a szimbolikus logika alapjait már ismerő hallgatókat Ruzsa Imre Bevezetés a modern logikába című alapvető könyvének feldolgozásában. Ezt az évtizedeken keresztül tökéletesített kompendiumot ugyanis meglehetősen nagyvonalú tárgyalásmód jellemzi, és inkább a szakembernek, mint a hallgatónak szól. A logikával épp csak ismerkedők számára hasznos olyan kiegészítéseket, magyarázatokat rendelni hozzá, amelyekkel e bizonyára sokáig felülmúlhatatlan magyar nyelvű munka számukra is befogadhatóvá válik. A következő oldalak, bár remélhetőleg önmagukban is érthetőek, szorosan Ruzsa művéhez kapcsolódnak, és azzal együtt olvasandók.

Hivatkozás: https://mersz.hu/hankovszky-elsorendu-logika//

BibTeXEndNoteMendeleyZotero

Kedvenceimhez adás

A kiadványokat, képeket, kivonataidat kedvencekhez adhatod, hogy a tanulmányaidhoz, kutatómunkádhoz szükséges anyagok mindig kéznél legyenek.

Ha nincs még felhasználói fiókod, regisztrálj most,
vagy lépj be a meglévővel!

Személyes mappák
Mappába rendezés

A kiadványokat, képeket mappákba rendezheted, hogy a tanulmányaidhoz, kutatómunkádhoz szükséges anyagok mindig kéznél legyenek.

A MeRSZ+ funkciókért válaszd az egyéni előfizetést!

Személyes mappák
Kivonatszerkesztés

Intézményi hozzáféréssel az eddig elkészült kivonataidat megtekintheted, de újakat már nem hozhatsz létre.

A MeRSZ+ funkciókért válaszd az egyéni előfizetést!

Kivonatkészítés
Folyamatos görgetés

Választhatsz, hogy fejezetről fejezetre lapozva vagy inkább folyamatosan olvasnád-e a könyveket. A görgetősávon mindig láthatod, hol tartasz, mintha csak egy nyomtatott könyvet tartanál a kezedben.

A MeRSZ+ funkciókért válaszd az egyéni előfizetést!

Folyamatos görgetés
Kivonat
fullscreenclose
printsave