Prawa rachunku kwantyfikatorów
Z Wikipedii
Zasugerowano, aby ten artykuł zintegrować z artykułem Rachunek predykatów pierwszego rzędu. (dyskusja)
[edytuj] Ważniejsze prawa rachunku kwantyfikatorów :
- prawo dictu de omni - "orzekania o wszystkim"
- prawo generalizacji egzystencjalnej
- prawo subalternacji
- Prawa zmiany zmiennych związanych:
- prawa De Morgana (negowania kwantyfikatorów)
- przemienność :
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:
- brak rozdzielności:
→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
