„8. Elsőrendű logika” változatai közötti eltérés

90. sor:

# Negálást az atomi formulák szintjére áthelyezni. ¬ (A <math> \lor </math> B) = ¬A <math> \land </math> ¬B, ¬<math> \forall </math>x P(x) = <math> \exists </math>x ¬P(x)

# Egzisztenciális kvantorokat eltüntetni.

** Skolemizálás (egzisztenciális kvantorok eliminálási folyamata)

#* Skolemizálás (egzisztenciális kvantorok eliminálási folyamata)

*** <math> \exists </math> x Owns(Nono, x)<math> \land </math>Missile(x) ===> Owns(Nono, M1)

#** <math> \exists </math> x Owns(Nono, x)<math> \land </math>Missile(x) ===> Owns(Nono, M1)

*** Missile(M1) Every person has a heart (Minden embernek van szíve).

#** Missile(M1) Every person has a heart (Minden embernek van szíve).

*** <math> \forall </math>x Person(x) <math> \Rightarrow </math> <math> \exists </math> y Heart(y) <math> \land </math> Has(x, y)

#** <math> \forall </math>x Person(x) <math> \Rightarrow </math> <math> \exists </math> y Heart(y) <math> \land </math> Has(x, y)

*** <math> \forall </math>x Person(x) <math> \Rightarrow </math> Heart(H1)<math> \land </math>Has(x, H1) feltéve, hogy H1 (egy fiktív szív) sehol sem szerepel a tudásbázisban

#** <math> \forall </math>x Person(x) <math> \Rightarrow </math> Heart(H1)<math> \land </math>Has(x, H1) feltéve, hogy H1 (egy fiktív szív) sehol sem szerepel a tudásbázisban

*** <math> \forall </math>x Person(x) <math> \Rightarrow </math> Heart(f(x)) <math> \land </math>Has(x, f(x)) feltéve, hogy f(x) (minden x-hez egy fiktív szív) sehol sem szerepel a tudásbázisban

#** <math> \forall </math>x Person(x) <math> \Rightarrow </math> Heart(f(x)) <math> \land </math>Has(x, f(x)) feltéve, hogy f(x) (minden x-hez egy fiktív szív) sehol sem szerepel a tudásbázisban

# Ha szükséges, a változókat átnevezni. <math> \forall </math>x P(x) <math> \lor </math> <math> \forall </math>x Q(x) ----------> <math> \forall </math>x P(x) <math> \lor </math> <math> \forall </math>y Q(y)

# Univerzális kvantorokat balra kihelyezni. ....<math> \forall </math>x....<math> \forall </math>y.. = <math> \forall </math>x<math> \forall </math>y ....x...y..

@@ 90. sor: / 90. sor: @@
 # Negálást az atomi formulák szintjére áthelyezni. &not; (A <math> \lor </math> B) = &not;A <math> \land </math> &not;B,	 &not;<math> \forall </math>x P(x) = <math> \exists </math>x &not;P(x)
 # Egzisztenciális kvantorokat eltüntetni.
-** Skolemizálás (egzisztenciális kvantorok eliminálási folyamata)
+#* Skolemizálás (egzisztenciális kvantorok eliminálási folyamata)
-*** <math> \exists </math> x Owns(Nono, x)&#61472;<math> \land </math>&#61472;Missile(x) ===> Owns(Nono, M1)
+#** <math> \exists </math> x Owns(Nono, x)&#61472;<math> \land </math>&#61472;Missile(x) ===> Owns(Nono, M1)
-*** Missile(M1) Every person has a heart (Minden embernek van szíve).
+#** Missile(M1) Every person has a heart (Minden embernek van szíve).
-*** <math> \forall </math>x Person(x) <math> \Rightarrow </math> <math> \exists </math> y Heart(y) <math> \land </math> Has(x, y)
+#** <math> \forall </math>x Person(x) <math> \Rightarrow </math> <math> \exists </math> y Heart(y) <math> \land </math> Has(x, y)
-*** <math> \forall </math>x Person(x) <math> \Rightarrow </math> Heart(H1)&#61472;<math> \land </math>&#61472;Has(x, H1) feltéve, hogy H1 (egy fiktív szív) sehol sem szerepel a tudásbázisban
+#** <math> \forall </math>x Person(x) <math> \Rightarrow </math> Heart(H1)&#61472;<math> \land </math>&#61472;Has(x, H1) feltéve, hogy H1 (egy fiktív szív) sehol sem szerepel a tudásbázisban
-*** <math> \forall </math>x Person(x) <math> \Rightarrow </math> Heart(f(x)) &#61472;<math> \land </math>&#61472;Has(x, f(x)) feltéve, hogy f(x) (minden x-hez egy fiktív szív) sehol sem szerepel a tudásbázisban
+#** <math> \forall </math>x Person(x) <math> \Rightarrow </math> Heart(f(x)) &#61472;<math> \land </math>&#61472;Has(x, f(x)) feltéve, hogy f(x) (minden x-hez egy fiktív szív) sehol sem szerepel a tudásbázisban
 # Ha szükséges, a változókat átnevezni. <math> \forall </math>x P(x) <math> \lor </math> <math> \forall </math>x Q(x)		 ---------->	  <math> \forall </math>x P(x) <math> \lor </math> <math> \forall </math>y Q(y)
 # Univerzális kvantorokat balra kihelyezni. ....<math> \forall </math>x....<math> \forall </math>y.. = <math> \forall </math>x<math> \forall </math>y ....x...y..