A 2011/2012 I. félév vizsgáiról egy kis információ:

1. definíció:  
-term és formula definíciója elsőrendben
-interpetáció és változókiértékelés
-kongurencia és termek/formulák kötöttsége
-term és formula értéke

2. KNF, DNF és Prenex alak
-Az első 2 vizsgán csak KNF és DNF volt
-3. vizsgán berakta a prenex alakot
-4. vizsgán megint csak KNF és DNF

pl: n((X>(Z>Y))>(X>Z))    -> DNF
$xP(x)>nExP(x)vQ(x,c) -> prenex alakra


3. Elsőrendű formulák vizsgálata szemantikai módszerrel.
-logikai törvény, kielégíthető, kielégíthetetlen


pl: Logikai törvény-e?
ExP(x,x)>ExP(x,y)
$xP(x,x)>$xP(x,y)

Általában 2 formulát adott meg és csak a kvantorokban különböztek (csoporton belül persze).


4. Konklúzió vizsgálat.
2-3 premissza és egy konklúzió  - természetesen elsőrendben vizsgálva

pl.:
(P1) Csak azok a hallgatók vizsgáztak sikeresen, akik megértették és megtanulták a tananyagot.
(P2) Volt olyan hallgató, aki nem tanulta meg a tananyagot, pedig szeretett volna jó jegyet.
(K): Volt, aki hiába szeretett volna jó jegyet, nem vizsgázott sikeresen.


5. Gentzen kalkulus
Adott egy kvatorok nélkülit és egy kvantorosat is


pl:
a) (A>nB)>n(A^B)
b) $(nRvP(x))>nRv$xP(x)


Jelmagyarázat:
n negáció
> implikáció
^ konjukció
v diszjunkció
E létezik
$ bármely


Minden feladat 3 pontot ér. Az első két feladat a beugró és a másik három feladatból kell tudni még egyet, hogy meglegyen a kettes.
Maximálisan 4-est lehet csak elérni, de aki ezt elérte mehet szóbelizni az 5-ösért (természetesen ott akár meg is bukhat az illető :))