293017402

Etap 3 - standaryzacja zmiennych

Zmienne opisywane przez różne kwantyfikatory otrzymują różne nazwy.

Przed:

Vx: P(x) v Vje : Q(x)

*Po:

Vx: P(x) v Vy: Q(y)

Etap 4 - przesunięcie wszystkich kwantyfikatorów

Przenosi się wszystkie kwantyfikatory poza wyrażenie. Nie powoduje to zmiany interpretacji wyrażenia.

Przed:

Vx: (—i mezczyzna(x) v (Vy: (—i kobieta(y) v lubi(x, y)))) -»Po:

y.r: Vy: (—imezczyzna(x) v (—ikobieta(y) v lubi(x, y)))