Rezolúció
Resolvens képzés
$ P(x, f(x)) \lor Q(x) $
$ \neg P(\overline{a},y) \lor R(\overline{a}, y) $
TODO: Zserbó ezt kijegyzeteli.
Tablókalkulus
Szintaktikus kalkulus formula kielégíthetetlenségének vizsgálatára
A kalkulus alapja az Igazságértékelés függvény
Jelölt formulák
\(F, T\) szimbólumok bevezetése
igaz és hamisérték kijelölésére
| 1 | 2 | 3 | 4 | 5 | 6 |
|---|---|---|---|---|---|
| --- | --- | --- | --- | --- | --- |
TODO: táblázat