Prawa rachunku kwantyfikatorów

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Ważniejsze prawa rachunku kwantyfikatorów[edytuj]

  • prawo dictum 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

Zobacz też[edytuj]