„Prenex-formula” változatai közötti eltérés
| [ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
6. sor:
==Egyoldali kvantorkiemelési törvények==
∀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)
∀xf(x) = ⌐∃x ⌐f(x)
[[Kategória:Matematikai logika]]
| |||