Ważniejsze prawa rachunku kwantyfikatorów
edytuj
- prawo dictum de omni – „orzekania o wszystkim”
-
- prawo generalizacji egzystencjalnej
-
-
- prawa zmiany zmiennych związanych
-
-
- prawa De Morgana (negowania kwantyfikatorów)
-
-
kwantyfikatora ogólnego
-
kwantyfikatora egzystencjalnego
-
- Przeniesienie kwantyfikatora egzystencjalnego za ogólny (nie odwrotnie!)
-
→ Kontrprzykład: gdy ф(x,y) jest postaci: x<y (x,y należy do rzeczywistych)
- rozdzielność względem koniunkcji:
-
- rozdzielność względem alternatywy:
-
-
→ Kontrprzykład: gdy ф(x) prawdziwe dla x>2, Ψ(x) prawdziwe dla x≤2
-
→ Kontrprzykład: gdy ф(x) prawdziwe dla x=1, Ψ(x) prawdziwe dla x=2
-
→ Kontrprzykład: gdy ф(x) prawdziwe dla x>2, Ψ(x) prawdziwe dla x≤2