Kovásznai Gergely

Eszterházy Károly Egyetem

Az informatika logikai alapjai

Bevezetés és a nulladrendű logika

alapjai
Mi köze a logikának az informatikához?

• A számítógépek a logika nyelvét értik: bitek 0 és 1 értéket vehetnek

fel
• Logikai
áramkörök
Mi köze a logikának az informatikához?

• Programozás:
▫ Feltételes elágazások (if)
▫ Ciklusok (while)
• Logikai (bool) feltételek: logikai operátorok
▫ „és” operátor (&&)
▫ „vagy” operátor (||)
▫ „nem” operátor (!)
Mi a logika?

• „logike” ógörög szóból származik

• Jelentése: szó, állítás, érvelés
• Klasszikus érvelés:
1. Minden ember halandó.
2. Szókratész ember.
3. Tehát Szókratész halandó.
• 19. századig inkább a filozófia része
Formális logika

• Az állításokat formálisan, logikai jelek segítségével leírni.

• Állítások formalizálása:
1. Minden ember halandó.

2. Szókratész ember.

3. Tehát Szókratész halandó.

Formális logika célja

• Algoritmusokat (szoftverek) készíteni, melyek a logikai

következtetéseket automatikusan bizonyítani tudják.
• Napjainkban elsődlegesen:
▫ Hardververifikáció: pl. logikai áramkör helyes-e
Intel Pentium osztási hiba (1994)

• A processzor lebegőpontos osztást

végző áramköre hibás eredményeket
adott

• Az Intel minden reklamálónak

kicserélte a processzorát

• 475 millió $ kár

Formális logika célja

• Algoritmusokat (szoftverek) készíteni, melyek a logikai

következtetéseket automatikusan bizonyítani tudják.
• Napjainkban elsődlegesen:
▫ Hardververifikáció: pl. logikai áramkör helyes-e
▫ Szoftververifikáció: pl. while-ciklus nem futhat a végtelenségig
ESA Ariane 5 felrobbanása (1996)

• Fellövés után 37 másodperccel

felrobbant

• Szoftverhiba: egy 16-bites

számot 32-bitesként kezeltek
=> Túlcsordulás (Overflow)

• 370 millió $ kár

Túlcsordulás (Overflow)

• Számítógépen nem lehet

akármekkora számokat tárolni
▫ 8 bit => 0 … 255
▫ 16 bit => 0 … 65 535
▫ 32 bit => 0 … 4 294 967 295

• Ha a maximumot elérjük, 0-ba

fordulunk vissza
Boeing 787 elektromos rendszer leállás (2015)

• USA repülésbiztonsági
hatóságának figyelmeztetése:
Boeing 787 elektromos
generátorai 248 napnyi repülés
után maguktól kikapcsolnak

• Hiba oka: túlcsordulás

• Nem történt baleset

Formális logika célja

• Algoritmusokat (szoftverek) készíteni, melyek a logikai

következtetéseket automatikusan bizonyítani tudják.
• Napjainkban elsődlegesen:
▫ Hardververifikáció: pl. logikai áramkör helyes-e
▫ Szoftververifikáció: pl. while-ciklus nem futhat a végtelenségig
• Ez nem tesztelés! Ez formális verifikáció!
• Tanulni fogjuk: SAT szolverek, SMT szolverek, Prolog programozási
nyelv
Formális logika fajtái

• Nulladrendű logika: ítéletváltozók + logikai operátorok

• Elsőrendű logika: tetszőleges típusú változók + predikátumok +
logikai operátorok + kvantorok
• Többértékű és fuzzy logikák: Nem csak 0 és 1 logikai értékek,
hanem több.
• Temporális logikák: Időrendiség kifejezésére.
• Stb.
Nulladrendű logika

• Más néven: ítéletlogika, propozícionális logika

• Minden objektuma igaz/hamis típusú
▫ Ítéletváltozókat vezetünk be
▫ Logikai operátorokkal kötjük össze őket
 Tagadás (negáció):
 És (konjunkció):
 Vagy (diszjunkció):
 Ha…akkor (implikáció):
 Akkor és csak akkor (ekvivalencia):
 Vagy… , vagy… (kizáró vagy, XOR):
Formalizálás

Feladatmegoldás…
Szintaxis VS szemantika

• Szintaxis: Annak szabályai, hogy formáljunk formailag

(szintaktikailag) helyes állításokat.

• Szemantika: Az állítások jelentésével foglalkozik.

 Nulladrendű logika szintaxisa

Definíció (Formula):
Adott ítéletváltozóknak egy véges, nem üres halmaza.
1. Ítéletváltozó: Ha , akkor formula.
2. Negáció: Ha formula, akkor is formula.

… (folyt. köv.)
 Nulladrendű logika szintaxisa

… (folytatás)

3. Ha és formulák, akkor ezek is formulák:

• Konjunkció:
• Diszjunkció:
• Implikáció:
• Ekvivalencia:
• Kizáró vagy, XOR:

Minden formula a fenti szabályok véges sokszori alkalmazásával áll elő.

Szintatikai ellenőrzés

Feladatmegoldás…
 Zárójelezés

Mindig használjunk teljes zárójelezést? Nem.

Aritmetikában pl.:

• Precedencia használata:
írható így:

• Asszociativitás használata:
írható így:
Precedencia és asszociativitás

Precedenciaszint Operátor Asszociatív

1 -
2 igen
3 nem
4 igen
Zárójelezés egyszerűsítése

Feladatmegoldás…