„Prenex-formula” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
linkek hozzáadása |
a formázás |
||
4. sor:
Egy formula '''Prenex-alakúvá''' tételéhez először változó-tiszta alakra kell hozni a formulát.
=='''Változótiszta alak:'''==
Ha
=='''Egyoldali kvantorkiemelési törvények:'''==
▲Ha változó tiszta lett a [[formula]], utána alkalmazni kell a kvantor kiemelési törvényeket:
▲*'''Egyoldali kvantor kiemelési törvények:'''<br>∀xA(x) ∧ B ∼ ∀x(A(x) ∧ B)<br>A ∧ ∀xB(x) ∼ ∀x(A ∧ B(x))<br> <br>∀xA(x) ∨ B ∼ ∀x(A(x) ∨ B)<br>A ∨ ∀xB(x) ∼ ∀x(A ∨ B(x))<br> <br>¬∀xA(x) ∼ ∃x¬A(x)<br>¬∃xA(x) ∼ ∀x¬A(x)<br> <br>A ⊃ ∃xB(x) ∼ ∃x(A ⊃ B(x))<br>A ⊃ ∀xB(x) ∼ ∀x(A ⊃ B(x))<br> <br>∃xA(x) ⊃ B ∼ ∀x(A(x) ⊃ B)<br>∀xA(x) ⊃ B ∼ ∃x(A(x) ⊃ B)
|