„8. Elsőrendű logika” változatai közötti eltérés
Új oldal, tartalma: „{{GlobalTemplate|Infoalap|MIOsszefoglaloElsorenduLogika}} __TOC__ ==Általános tudnivalók, tételek, definíciók== A világot objektumok alkotják, amelyek mási…” |
LaTeX képletek javítva |
||
| 45. sor: | 45. sor: | ||
'''Univerzális kvantor eliminálása:''' | '''Univerzális kvantor eliminálása:''' | ||
<math> | <math> | ||
\frac{\forall x P(x, A)}{P(B, A)}</math> | |||
'''Egzisztenciális kvantor eliminálása:''' | '''Egzisztenciális kvantor eliminálása:''' | ||
<math> | <math>\frac{\exists x Q(x, A)}{Q(B,A)}</math> | ||
, feltéve, hogy B-nek másutt nincs szerepe a tudásbázisban! B az ún. Skolem konstans, tehát bizonyos tulajdonságokkal rendelkező, pl. emberszerű, de a feladatban önálló léttel nem rendelkeő objektum. | , feltéve, hogy B-nek másutt nincs szerepe a tudásbázisban! B az ún. Skolem konstans, tehát bizonyos tulajdonságokkal rendelkező, pl. emberszerű, de a feladatban önálló léttel nem rendelkeő objektum. | ||
'''Egzisztenciális kvantor bevezetése:''' | '''Egzisztenciális kvantor bevezetése:''' | ||
<math> | <math>\frac{P(B,A)}{\exists x P(x, A)} </math> | ||
'''Rezolúció:''' | '''Rezolúció:''' | ||