Zdanie zawierające zmienne, które, kiedy zastąpienie ich możliwymi wartościami staje

się wyrażeniem zwanym predykat

dzisiaj pada deszcz

pojedyncze - z jedną zmienną , dwucyfrowy - z dwiema zmiennymi...

Przykład:
Napisz wyrażenia dla następujących predykatów:

+ ≥

24 = 4!
Przykład:
Znajdź zbiór prawdziwości predykatów podanych na zbiorze:

1) P(x): - 25 =0 , zbiór liczb rzeczywistych 2) P(x): + 9 =0 , zbiór liczb rzeczywistych

+ 9 =0
- 25 =0
=-9
= 25
T (P) = ø
=
T (P) =
3) P(x): - 10x + 21 ≥ 0 , zbiór liczb rzeczywistych

Znajdźmy zera funkcji - = 3

𝑥є ¿ ⋃ ¿

T (P) =
 Negacja Кoniunkcja Dysjunkcja

Implikacja Równorzędność Następnyść

Przykład:
1) Р(х) – «х - Liczba pierwsza» (Są to liczby podzielne przez 1 i samą siebie )
¯(Р(х))-"х -Liczba zespolona"

2) Р(х) – «х - Liczba parzysta», Q(x) – «х - podzielony przez 7»

Р(х)˄Q(x) – «х - liczba parzysta i podzielna przez 7»
zbiór prawdziwości – 14,28…

3) Q(х) – «х - kończy się na 3 », P(x) – «х - podzielony przez 3»

Р(х)˅Q(x) – «х - kończy się na 3 lub podzielony przez 3»
zbiór prawdziwości – 3;6;9;12;13;15;18;21;23....
4) Q(х) – «х - kończy się na 3 », P(x) – «х - podzielony przez 3»

Р(х)→Q(x) - «х - jeśli x jest podzielne przez 3, to kończy się na 3»

W matematyce wyrażenia „dla każdego” i „istnieje” używane do formułowania zdań matematycznych przy
obliczaniu predykatów nazywane są kwantyfikacjami. Symbole reprezentujące język formalny nazywane są
kwantyfikatorami (lub dawniej kwantyfikatorami).
 Operacje z kwantyfikatorami
Rozważ główne właściwości stwierdzeń uzyskanych za pomocą kwantyfikatorów:
1) właściwości negacji:
, ;

2) identyczne kwantyfikatory można zamienić:

3) różne kwantyfikatory nie mogą być zamieniane:

4) ogόlny kwantyfikator można umieścić w nawiasach z wyrażenia z operacją koniunkcji, ale nie z wyrażenia
z operacją alternatywy:

5) szczegόlowy kwantyfikator można umieścić w nawiasach z wyrażenia z operacją alternatywy, ale nie z wyrażenia
z operacją koniunkcji:
Biorąc pod uwagę predykat P(x, y) „osoba X urodziła się w dniu Y”. Sprawdź, czy stwierdzenia są prawdziwe czy fałszywe

Wyrażenie oznacza „dla każdej osoby są urodziny” - to stwierdzenie jest prawdziwe

Wyrażenie oznacza „jest dzień, w którym każda osoba ma urodziny” – to stwierdzenie jest fałszywe
Podane predykaty P(x) - "X to kraj w Europie", K(x) - "X to kraj w Azji"

Wyrażenie oznacza, że ​wszystkie kraje są w Europie lub wszystkie kraje są w Azji - to jest fałszywe

Wyrażenie oznacza "wszystkie kraje w Europie lub Azji" - to prawda

Wyrażenie oznacza "jest kraj, który jest w Europie i jest kraj, który jest w Azji" - to prawda

Wyrażenie oznacza „jest kraj, który znajduje się zarówno w Europie, jak i w Azji” – to jest fałszywe
 Praca domowa
1) P(x) - "x jest liczbą parzystą«, K(x) - "x - jest podzielne przez 5"
zdefiniowany na zbiorze M={8; 10;11; 12; 13; piętnaście; 20; 23; 25;30}
Znajdź zbiór prawdziwości predykatów

2) Podane predykaty P(x) - "x - wszystkie ulice Krakowa"

K(x) - "x - wszystkie polskie święta". Wykonaj wszystkie operacje, które
są na slajdzie 22-23 (przykłady na slajdach 24-29), zapisz wynikowe
wyrażenia i ustal, czy są prawdziwe czy fałszywe