THEOINFO NO I.

LOGISCHE SYSTEME -

SYNTAX -SZINTAXIS
- a szabályok összefoglaló neve – nyelvtanban mondattan; a szavak mondatokká alakulásának szabályai

az állítások (atomare Formeln) összekapcsolása műveletekkel

SEMANTIK –SZEMANTIKA
= jelentés

Egy kódrészlet szemantikájának (jelentésének) a kódrészlet által végrehajtott feladatot nevezzük.

Például az a := b+c; Pascal utasításnak ugyanaz a szemantikája, mint az a = b+c; C utasításnak.

KALKÜL – LOGIKAI KALKULUS

A logikai kalkulus egy axiómarendszer

pusztán szintaktikailag, szemantika nélkül ad meg egy következményrelációt.

INDUKTIVE DE FINITION
Ez egy matematika elv: ha egy halmazon definiálunk valamit, akkor úgy terjesztjük ki a definíciót egy bővebb
halmazra, hogy a szűkebb halmazon is érvényes maradjon.

Példa a szögfüggvények

A hegyesszögekre (derékszögű háromszögek) definiáltátok 10-dikben. pl szinusz alfa = szemközti befogó :

átfogó. Ez tetszőleges alfára nem működik. Új definíció: az egységvektort forgatjuk el alfával, és a második
koordináta lesz a szinusz. Evvel az eredeti definíció is érvényes marad, mert az első síknegyedben ott lesznek
a derékszögű háromszögek.

Tehát nem az indukciót definiálta.

Visszatérve a logikára:

Ez egy indukciós definíció, mert adottak az elemi formulák (kijelentések). Ezeket a logikai műveletekkel
összekapcsolva is formulákat kapunk.

SEMANTIK DER AUSSAGE NLOGIK

Mivel most ki akarjuk terjeszteni a műveleteinket, nem csupán elemi formulákra (tehát állításokra – ezek a
változók) adjuk meg, hanem tetszőleges formulák között.

ATOMARE AUSSAGEN”
A (kijelentés)logikában a kijelentések – Aussagen – nem csupán egy mondatból állnak, hanem kijelentéseket
össze tudunk kapcsolni műveletekkel - azok is kijelentések.

Most: a műveletek nélküli kijelentések lesznek az „atomi kijelentések” atomare Aussagen”

A kijelentéslogika ezeket az atomi kifejezéseket tekinti atomi Formulák halmaza változóinak

Ezt takarja :

eine Menge von atomaren Formeln (Variablen) Var .

És az indukciós módszerrel definiálunk:

1. Minden atomi Formulánk egy formula

2. Az atomi formulák összekapcsolása a négy logikai alapművelettel is újabb Formulákat hoz létre.

Ez volt a syntaxis – tehát a deifiníciós szint

SZEMANTIKAI SZINT:

A kijelentéslogika kétértékű logika.

A logikai értéke az előbb létrehozott formuláinknak az atomi formulák értékéből adódik.

HOGYAN TERJESZTJÜK K I EZT A FÜGGVÉNYT?

az indukciós elvvel

Először is az atomokra értelmezett alapműveletek továbbra is megmaradnak.

A formulák között pedig az eddigi alapműveleteket alkalmazzuk.

stb Formulák halmazára

Egyet másképpen!

Tehát van mondjuk 2 kijelentésünk –atomi Formulánk, R és G, ezek az alapelemek.

Köztük mondjuk ÉS a kapcsolat. Így kaptam egy F formulát: F:=(R ÉS G)

Aztán a másik formula R , G között VAGY a kapcsolattal alakul. Így kaptam egy G formulát: G:=(R ÉS G)

Most a két formula között definiálta előbb a kiterjesztett ÉS műveletet, amely az előbbi világoskék.

Tehát az csak annyit jelent: formulák értéke (kimente) …

ALAPMŰVELETEK:

TOVÁBBI ALAPVETŐ MŰV ELETEK:

Äquivalenz

𝑅 ↔ 𝐺 ≔ (𝑅 → 𝐺) ∧ (𝐺 → 𝑅)

Ausschlieende Disjunktion (XOR)

Az ekvivalencia negátja 

Implikation (Umkehrung)

Negierte Konjunktion & Negierte Disjunktion 𝑅 ↑ 𝐺 − 𝑁𝐴𝑁𝐷, 𝑅 ↓ 𝐺 − 𝑁𝑂𝑅

FUNKTIONALE VOLLSTÄNDIGKEIT
A műveleteket Boole függvényeknek nevezi- ezeknek is lehet halmaza.

A Funkcionális teljesség azt jelenti, hogy ezekkel a Boole függvényekkel minden formulát ki tudunk fejezni.

, sőt a halmaz már funkcionálisan teljes!

Modell: ⊨ Belegungra Ha minden kimenet 1

Erfüllbar: legalább egy modell van benne -változóra

Formulák halmazában van egy modell: Konzisztens (inkonzisztens az ellentéte). Ellentmondásmentes)

Tautológia – minden értéke 1. Formulára

pl 𝑔 ∨ (¬𝑔)

Szemantikus ekvivalencia: ugyanazok a kimenetek

pl (¬𝑟 ∨ 𝑔) és 𝑟 → 𝑔

Következmény: G formula az R következménye ha minden R-beli modell G-re is az (ugyanazok a kimenetei)

(¬𝑟 ∧ 𝑔) és 𝑟 ∨ 𝑔

jel: 𝑅 ⊨ 𝐺

Beispiel 1, 2, 3 élőben

KIJELENTÉSLOGIKAI TÉTELEK