VI Rachunek predykatów

Prezentacja na temat: "VI Rachunek predykatów"— Zapis prezentacji:

1 VI Rachunek predykatów
Materiały pomocnicze do wykładu uczelnia: PJWSTK przedmiot: Matematyka Dyskretna 1 wykładowca: dr Magdalena Kacprzak data: maj 2009

2 Funkcje zdaniowe

3 Funkcją zdaniową (predykatem)
Definicja Niech X będzie niepustym zbiorem. Funkcją zdaniową (predykatem) jednej zmiennej x, której zakresem zmienności jest przestrzeń X, nazywamy wyrażenie (x), w którym występuje zmienna x i które staje się zdaniem prawdziwym lub fałszywym, gdy w miejsce zmiennej x wstawimy dowolny obiekt ze zbioru X. np.: (x)=(x2-1>0), X = Z

4 (x)=(x ma cztery kąty),
Przykłady (x)=(x ma cztery kąty), (x)=(det(x)>0), (X)=(X{1,2}=), (x)=(|x|>2)

5 np.: (x1,x2,x3) = (x1+x2 -3x3 -1>0)
Funkcja zdaniowa Przestrzeń X może sama być produktem kartezjańskim zbiorów X1...Xn. Wtedy zmienna x przyjmuje jako wartości elementy tego produktu. Mówimy wówczas, że mamy do czynienia z funkcją zdaniową n-argumentową. Zwykle, dla uproszczenia zapisu, będziemy pisali (x), rozumiejąc, że x może być jedną zmienną lub wektorem zmiennych. np.: (x1,x2,x3) = (x1+x2 -3x3 -1>0) X = R  R  R

6 (X,Y)=(det(X)=det(Y)),
Przykłady (X,Y)=(det(X)=det(Y)), (X,Y,Z)=(XY=Z), (x,y,z,t)=(x-y=z+t)

7 Formuły rachunku predykatów
Funkcje zdaniowe (predykaty) można łączyć spójnikami logicznymi. Powstają w ten sposób nowe, złożone funkcje zdaniowe. Będziemy o nich mówili: predykaty złożone lub formuły rachunku predykatów. Zatem, jeśli (x) i (x) są dowolnymi predykatami, to ((x)  (x)), ((x)  (x)), ((x)  (x)),  (x) są predykatami złożonymi. np.: (x-1 = 0)  ( x > 0)

8 (det(X)=2)  (det(Y)<0)  (X=Y),
Przykłady (det(X)=2)  (det(Y)<0)  (X=Y), (XY=Z)  (XY=Z), (x-y>0)  (z+t0)

9 Spełnianie funkcji zdaniowych

10 Definicja Jeśli po wstawieniu elementu a w miejsce
zmiennej x w predykacie a(x) określonym w pewnym zbiorze X otrzymujemy zdanie prawdziwe, to mówimy, że element a spełnia funkcję zdaniową a(x) lub, że funkcja zdaniowa a(x) jest spełniona przez element a w zbiorze X.

11 Przykłady Element a=10 spełnia predykat (x-2>0)
Zbiór {1,4} spełnia predykat X{1,2}={1}

12 Jakie elementy spełniają poniższe predykaty?
(x2-y2>0), (ff=f), (AB).

13 Oznaczenia Czasami będziemy używali oznaczenia a(a/x)
dla zaznaczenia, że mamy do czynienia ze zdaniem, które powstało przez wstawienie konkretnej wartości a na miejsce zmiennej x.

14 Oznaczenia Ogół tych wartości, dla których funkcja
zdaniowa a(x) jest spełniona oznaczamy przez {xX : a(x)} Dokładniej należałoby napisać {aX:a(a/x) jest zdaniem prawdziwym}.

15 Wykres funkcji zdaniowej
Zbiór {xX:a(x)} nazywamy wykresem funkcji zdaniowej.

16 Wyznacz wykres funkcji zdaniowej
(x2>2), (xy<0), (x2+1=0), (x3<0).

17 Lemat Dla dowolnych funkcji zdaniowych a(x) i b(x)
określonych w zbiorze X zachodzą następujące równości: {xÎX: a(x)}È{xÎX: b(x)}={xÎX : (a(x) Ú b(x))} {xÎX: a(x)}Ç{xÎX: b(x)}={xÎX:(a(x) Ù b(x))} - {x ÎX: a(x)} = {x ÎX: Ø a(x)}.

18 Kwantyfikatory

19 kwantyfikatorami ogólnymi
Kwantyfikator ogólny Zwroty: "dla każdego x, a(x)", "dla wszystkich x, a(x)", "dla dowolnego x, a(x)" nazywamy kwantyfikatorami ogólnymi lub uniwersalnymi.

20 x (a(x)) Kwantyfikator ogólny
Oznaczają one zdanie prawdziwe, jeżeli niezależnie od tego jaka konkretna wartość a zostanie wstawiona na miejsce zmiennej w predykacie a(x), otrzymane zdanie a(a/x) będzie prawdziwe, tzn. wszystkie możliwe wartości zmiennej x spełniają funkcję zdaniową a(x) x (a(x))

21 Kwantyfikator szczegółowy
Zwrot "istnieje takie x, że" (czasami używany w formie "dla pewnego x") nazywa się kwantyfikatorem szczegółowym lub egzystencjalnym.

22 Kwantyfikator szczegółowy
Funkcja zdaniowa a(x) poprzedzona tym kwantyfikatorem tworzy zdanie prawdziwe, jeśli istnieje pewien obiekt a, który wstawiony w miejsce zmiennej w predykacie a(x) spowoduje, że otrzymamy zdanie prawdziwe a(a/x). x (a(x))

23 Które zdania są prawdziwe?
TAK f,g ((f jest 1-1)  (g jest 1-1)  (f g jest 1-1)) (f) (A,B) (f-1(A  B)=f-1(A)f-1(B)) TAK (f) (A) f-1(f(A))=A NIE

24 Które zdania są prawdziwe?
TAK (rRelacje) (r jest symetryczna i przechodnia) (x) (x jest liczbą pierwszą i parzystą) TAK (x)(x2<0) NIE

25 Zmienna wolna i zmienna związana

26 Definicja Zmienną x występującą w funkcjach zdaniowych
("x)a(x) lub ($x)a(x) nazywamy zmienną związaną (dokładniej zmienną związaną przez kwantyfikator uniwersalny, w pierwszym przypadku, i zmienną związaną przez kwantyfikator egzystencjalny, w drugim przypadku).

27 Zakres kwantyfikatora
Funkcja zdaniowa a(x) występująca bezpośrednio po symbolu kwantyfikatora jest zakresem tego kwantyfikatora, tzn. ten kwantyfikator dotyczy wszystkich wystąpień zmiennej x w funkcji zdaniowej a.

28 Definicja Jeśli jakaś zmienna nie jest związana przez żaden
kwantyfikator, to mówimy, że jest to zmienna wolna.

29 Uwaga Jeśli w funkcji zdaniowej a(x) występuje
tylko jedna zmienna wolna x, to wyrażenia ($x)a(x), ("x)a(x) są zdaniami.

30 Przykłady ($x)(x+y=2)  ("z)(zx=y) ($x)((x+y=2)  ("z)(zx=y))
($x)((x+y=2)  ("z)("y)(zx=y))

31 Spełnianie funkcji zdaniowych
z kwantyfikatorami

32 Definicja Zdanie "x (a(x)) jest prawdziwe
w X (tzn. wartością tego zdania jest 1) wtedy i tylko wtedy, gdy każdy element zbioru X spełnia funkcję zdaniową a(x), tzn. gdy {xÎX: a(x)}= X.

33 Definicja Zdanie $x (a(x)) jest prawdziwe
w X (tzn. ma wartość 1) wtedy i tylko wtedy, gdy chociaż jeden element spełnia funkcję zdaniową a(x), tzn. jeśli {xÎX: a(x)} ¹ Æ.

34 Wniosek Dla dowolnego predykatu a(x) określonego w zbiorze X,
"x(a(x)) jest zdaniem fałszywym w X (tzn. ma wartość 0) wttw {xÎX: a(x)} ¹ X, $x(a(x)) jest zdaniem fałszywym w X (tzn. ma wartość 0) wttw {xÎX: a(x)} = Æ.

35 W jakich strukturach prawdziwe są te zdania?
($x)(x<0), ("y)(y>-1), ($x)("y)(x<y), ("y)($x)(x<y).

36 Definicja Niech a(x, x1, x2, ..., xn)
będzie funkcją zdaniową o zmiennych wolnych x, x1, x2,..., xn, których wartości należą odpowiednio do zbiorów X, X1, X2,..., Xn.

37 Definicja Powiemy, że ciąg (a1,a2,..., an) Î X1  X2  ...  Xn
spełnia funkcję zdaniową $x (a(x, x1,x2,...xn)) wttw istnieje takie aÎX, że a(a/x, a1/x1,a2/x2,..., an/xn) jest zdaniem prawdziwym.

38 spełnia funkcję zdaniową
Definicja Element (a1,a2,...,an)ÎX1  X2  ...  Xn spełnia funkcję zdaniową "x(a(x, x1,x2,...xn)) wttw dla dowolnego aÎX, a(a/x, a1/x1, a2/x2, ..., an/xn) jest zdaniem prawdziwym.

39 Kwantyfikatory a spójniki logiczne

40 ($x) a(x) « (a(a1/x) Ú a(a2/x) Ú ... Ú a(an/x))
Jeśli A jest skończonym zbiorem o elementach a1,a2,..., an, a, a(x) jest funkcją zdaniową określoną w zbiorze A, to prawdziwa jest następująca równoważność: ($x) a(x) « (a(a1/x) Ú a(a2/x) Ú ... Ú a(an/x))

41 (a(a1/x) Ù a(a2/x) Ù ... Ù a(an/x))
Analogicznie rozważmy kwantyfikator ogólny. Jeśli A = {a1, a2, ... an}, a a(x) jest funkcją zdaniową określoną w zbiorze A, to prawdziwa jest następująca równoważność: ("x) a(x) « (a(a1/x) Ù a(a2/x) Ù ... Ù a(an/x))

42 Kwantyfikatory a działania uogólnione

43 Lemat Niech a(x,y) będzie dowolną funkcją zdaniową
określoną w przestrzeni X ´ Y. Wtedy {x Î X : ($y) a(x,y)} = îþyÎY {x Î X : a(x,y) {x Î X : ("y) a(x,y)} = ìüyÎY {x Î X : a(x,y)}

44 Kwantyfikatory o zakresie ograniczonym

45 Kwantyfikator ogólny o zakresie ograniczonym przez funkcje zdaniową b(x) zapisujemy w postaci
Analogicznie, kwantyfikator szczegółowy o zakresie ograniczonym przez funkcję zdaniową b(x) zapisujemy w postaci ($b(x))

46 Lemat Dla dowolnych funkcji zdaniowych a i b
zachodzą następujące równoważności ("b(x)) a(x) « ("x) (b(x) ® a(x)) ($b(x)) a(x) « ($x) (b(x) Ù a(x))

47 Przykład ($x)(x<0), ($xR)(x<0), ($x)(xR x<0).

48 Formalne przedstawienie rachunku predykatów

49 Oznaczenia Niech Vo - zbiór zmiennych zdaniowych,
V - zbiór zmiennych indywiduowych, P - zbiór nazw relacji,  - zbiór nazw funkcji.

50 Term Zbiór termów jest to najmniejszy zbiór
zawierający V i taki, że jeśli f jest nazwą funkcji n argumentowej, a t1, ..., tn termami, to f(t1, ...,tn) jest termem.

51 Zbiór formuł Zbiór formuł jest to najmniejszy zbiór wyrażeń
zawierających zbiór zmiennych zdaniowych V0 i taki, że: jeśli r jest nazwą relacji n argumentowej, a t1,..., tn są termami, to r(t1,...,tn) jest formułą, jeśli a i b są formułami, to Øa , (a Ú b), (a Ù b), (a ® b), (a « b), są formułami, jeśli a(x) jest formułą ze zmienną wolną x, to ($x)a(x) i ("x)a(x) są formułami.

52 Struktura algebraiczna i wartościowanie
Ustaloną interpretację symboli funkcyjnych i relacyjnych, będziemy nazywali strukturą algebraiczną, a ustalone wartości dla zmiennych wartościowaniem.

53 Niech STR będzie pewną ustaloną strukturą
algebraiczną. Oznaczmy przez tSTR(v) wartość termu t przy interpretacji w strukturze STR i wartościowaniu v. Przyjmujemy następującą rekurencyjną definicję: tSTR(v) = v(x), jeśli term t jest po prostu zmienną indywiduową x, oraz tSTR(v) = fSTR(t1(v),..., tn(v)), gdy t jest termem złożonym, postaci f(t1,...,tn), a fSTR n-argumentową operacją w STR będącą interpretacją symbolu funkcyjnego f.

54 Pojęcie spełniania Pojęcie spełniania definiujemy rekurencyjnie ze
względu na postać formuły następująco: STR,v|=p wttw v(p)=1, gdy p jest zmienną zdaniową, STR,v|=r(t1,...,tn) wttw rSTR(tiSTR(v),..., tnSTR(v)) jest zdaniem prawdziwym

55 Pojęcie spełniania STR,v|=Ø a(x) wttw nie zachodzi STR, v |= a(x)
STR,v|=(a(x)Úb(x)) wttw STR,v|=a(x) lub STR, v|=b(x) STR,v|=(a(x)Ùb(x)) wttw STR,v|= a(x) i STR, v|= b(x) STR,v|=(a(x)®b(x)) wttw STR,v|=Øa(x) lub STR,v|= b(x)

56 Pojęcie spełniania STR,v|=("x)a(x) wttw STR,v(a/x)|=a(x) dla wszystkich aÎSTR STR,v|=($x)a(x) wttw STR,v(a/x)|=a(x) dla pewnego aÎSTR.

57 Prawdziwość formuł Powiemy, że formuła a jest prawdziwa
w strukturze STR wtedy i tylko wtedy, gdy jest ona spełniona przez każde wartościowanie w tej strukturze, tzn. gdy dla każdego v, STR,v|=a(x). Fakt ten zapisujemy krótko STR|= a.

58 Tautologie rachunku predykatów

59 (lub prawem rachunku funkcyjnego),
Definicja Formułę a rachunku predykatów nazywamy tautologią (lub prawem rachunku funkcyjnego), jeżeli jej wartością jest prawda, niezależnie od wartości zmiennych oraz interpretacji symboli relacyjnych i funkcyjnych w niej występujących, tzn. dla każdej struktury STR i dla każdego wartościowania v zmiennych w tej strukturze mamy STR, v |= a.

60 Lemat Jeśli a jest tautologią rachunku zdań,
to podstawiając za zmienne zdaniowe występujące w a dowolne formuły rachunku funkcyjnego otrzymujemy tautologię rachunku predykatów.

61 Lemat Dla dowolnych formuł a(x) i b(x) następujące
formuły są tautologiami rachunku predykatów: ("x) a(x) ® ($x) a(x) (Ø("x)a(x)) «(($x)Øa(x)) – prawo de Morgana (Ø($x)a(x))«(("x)Øa(x)) – prawo de Morgana ("x) ((a(x) Ù b(x)) « (("x)a(x) Ù ("x)b(x)) ($x)(a(x) Ú b(x)) « (($x)a(x) Ú ($x)b(x))

62 {xÎX: a(x)} = X oraz {xÎX: a(x)} = Æ.
Dowód formuły 1 Dla przykładu podamy dowód dla formuły ("x)a(x)®($x)a(x). Gdyby ta implikacja była fałszywa przy pewnej interpretacji formuły a(x) w pewnej strukturze STR o niepustym uniwersum X, wtedy byłoby {xÎX: a(x)} = X oraz {xÎX: a(x)} = Æ. Czyli X= Æ, sprzeczność.

63 Dowód formuły 2 Niech STR będzie ustaloną strukturą oraz v
niech będzie pewnym wartościowaniem. Jeśli STR, v|= Ø("x)a(x) wtedy wartościowanie v nie spełnia formuły ("x)a(x). Oznacza to, że nie dla wszystkich a wstawionych w miejsce x w wartościowaniu v spełniona jest formuła a(x).

64 Dowód formuły 2 Oznaczmy taką wartość dla x przez b. Mamy
STR, v(b/x) |= Øa(x). Zatem, zgodnie z definicją semantyki dla kwantyfikatora egzystencjalnego mamy STR,v |= (($x) Øa(x)).

65 Reguły wnioskowania

66 STR |= a1Ù... Ù an, mamy STR |= b.
Reguły dowodzenia Reguły dowodzenia (inaczej reguły wnioskowania) są przekształceniami postaci a1Ù ... Ù an b które pewnemu skończonemu zbiorowi formuł a1,...,an, przyporządkowują formułę b, w taki sposób, że dla dowolnej struktury danych STR takiej, że STR |= a1Ù... Ù an, mamy STR |= b. Formuły a1, ...,an są nazywane przesłankami reguły, a formuła b jest nazywana wnioskiem.

67 ---------------------------
Lemat Dla dowolnej formuły (x) i dowolnej formuły , w której zmienna x nie występuje, (x)   (x)((x))   jest poprawną regułą dowodzenia.

68 Dowód Przypuśćmy, że (1) STR|= (a(x) ® b ) oraz
(2) nie zachodzi STR|= (($x) a(x) ® b). Wtedy z (2) dla pewnego wartościowania v mamy STR,v|=($x)a(x) i STR,v|=Øb. Stąd na mocy definicji semantyki kwantyfikatorów, dla pewnego aÎSTR, STR,v(a/x)|=a(x), STR,v(a/x)|=Øb (ponieważ wartość zmiennej x nie ma wpływu na wartość formuły b).

69 STR,v(a/x)|= Ø(a(x) ® b).
Dowód W konsekwencji STR,v(a/x)|= Ø(a(x) ® b). Otrzymujemy sprzeczność z (1). Wykazaliśmy tym samym, że z prawdziwości formuły postaci (a(x)®b) wynika prawdziwość formuły (($x)a(x) ® b).

70 ---------------------------
Lemat Dla dowolnej formuły a(x), (x) (x)((x)) jest poprawną regułą dowodzenia (reguła uogólniania).