predavanje kvantifikatori
TRANSCRIPT
![Page 1: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/1.jpg)
Elementarna matematika 1Predikati i kvantifikatori
2007/2008
Elementarna matematika 1
![Page 2: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/2.jpg)
Primjer:Recenica Prirodni broj x djeljiv je sprirodnim brojem y nije sud!Ova recenica postaje sud uvrstimoli umjesto x i y konkretne brojeve.Za x = 12 i y = 3 ta je recenicaistiniti, a za x = 13 i y = 5 lažni sud.
Elementarna matematika 1
![Page 3: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/3.jpg)
Primjer:Recenica Prirodni broj x djeljiv je sprirodnim brojem y nije sud!Ova recenica postaje sud uvrstimoli umjesto x i y konkretne brojeve.Za x = 12 i y = 3 ta je recenicaistiniti, a za x = 13 i y = 5 lažni sud.
Elementarna matematika 1
![Page 4: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/4.jpg)
Primjer:Recenica Prirodni broj x djeljiv je sprirodnim brojem y nije sud!Ova recenica postaje sud uvrstimoli umjesto x i y konkretne brojeve.Za x = 12 i y = 3 ta je recenicaistiniti, a za x = 13 i y = 5 lažni sud.
Elementarna matematika 1
![Page 5: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/5.jpg)
RecenicomPrirodni broj x djeljiv je s prirodnimbrojem yispituje se odnos izmedu varijabli x i y .Uvrštavanjem konkretnih vrijednostivarijabli ona postaje sud, istinit ili lažniovisno što su x i y .
Elementarna matematika 1
![Page 6: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/6.jpg)
Recenice koje uvrštavanjem konkretnihvrijednosti varijabli postaju sudovizovemo sudovna funkcija (izjavnafunkcija), varijable koje se u njimapojavljuju zovemo predmetne varijable,a odnose izmedu predikatnih varijablikoje izricu zovemo predikati.
Elementarna matematika 1
![Page 7: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/7.jpg)
Oznacimo li u prethodnom primjerupredikat ...je djeljiv s ... slovom P,navedenu sudovnu funkcijumožemo zapisati kao P(x , y).Buduci da ovisi o dvije varijable,takav P zovemo dvomjesni predikat.Predikat koji izražava odnos nvarijabli zovemo n–mjesni predikat.U prethodnom primjeru P(12, 3) jeistiniti, a P(13, 5) lažni sud.
Elementarna matematika 1
![Page 8: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/8.jpg)
Oznacimo li u prethodnom primjerupredikat ...je djeljiv s ... slovom P,navedenu sudovnu funkcijumožemo zapisati kao P(x , y).Buduci da ovisi o dvije varijable,takav P zovemo dvomjesni predikat.Predikat koji izražava odnos nvarijabli zovemo n–mjesni predikat.U prethodnom primjeru P(12, 3) jeistiniti, a P(13, 5) lažni sud.
Elementarna matematika 1
![Page 9: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/9.jpg)
Oznacimo li u prethodnom primjerupredikat ...je djeljiv s ... slovom P,navedenu sudovnu funkcijumožemo zapisati kao P(x , y).Buduci da ovisi o dvije varijable,takav P zovemo dvomjesni predikat.Predikat koji izražava odnos nvarijabli zovemo n–mjesni predikat.U prethodnom primjeru P(12, 3) jeistiniti, a P(13, 5) lažni sud.
Elementarna matematika 1
![Page 10: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/10.jpg)
Oznacimo li u prethodnom primjerupredikat ...je djeljiv s ... slovom P,navedenu sudovnu funkcijumožemo zapisati kao P(x , y).Buduci da ovisi o dvije varijable,takav P zovemo dvomjesni predikat.Predikat koji izražava odnos nvarijabli zovemo n–mjesni predikat.U prethodnom primjeru P(12, 3) jeistiniti, a P(13, 5) lažni sud.
Elementarna matematika 1
![Page 11: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/11.jpg)
Posebno su zanimljivi jednomjesnipredikati. Njima se iskazuje nekosvojstvo promatranih objekata (varijabli).Primjer:Predikat P =„...je prost” utvrdujeodredeno svojstvo prirodnih brojeva.Sudovnu funkciju „x je prost” možemozapisati kao P(x).
Predikat P =„... je pravokutnik” možemodefinirati na skupu svih paralelogramaneke ravnine.
Elementarna matematika 1
![Page 12: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/12.jpg)
Posebno su zanimljivi jednomjesnipredikati. Njima se iskazuje nekosvojstvo promatranih objekata (varijabli).Primjer:Predikat P =„... je pravokutnik” možemodefinirati na skupu svih paralelogramaneke ravnine.
Elementarna matematika 1
![Page 13: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/13.jpg)
Postoje dva nacina kako sudovnafunkcija prelazi u sud — primjenomneodredenih zamjenica svaki i neki, tzv.kvantifikatora.
Elementarna matematika 1
![Page 14: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/14.jpg)
Univerzalni kvantikifator, u oznaci ∀∀∀,govori da je izjavna funkcija istinit sudza sve vrijednosti neke od varijablicitamo ga „za svaki”.Na primjer, (∀∀∀x ∈ S) P(x) kratkooznacava formulu
∀∀∀x ((x ∈ S) =⇒ P(x))
Elementarna matematika 1
![Page 15: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/15.jpg)
Primjeri
P(x) = x2 ≥ 0.Sud (∀∀∀x ∈ N)x2 ≥ 0 je istinit sud.P(x) = x2 + 4x − 8 ≤ 0.Sud (∀∀∀x ∈ N)x2 + 4x − 8 ≤ 0 jelažni sud.P(x) = x je trapez definiramo naskupu svih cetverokuta nekeravnine.Sud (∀∀∀x)P(x) je lažni.
Elementarna matematika 1
![Page 16: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/16.jpg)
Primjeri
P(x) = x2 ≥ 0.Sud (∀∀∀x ∈ N)x2 ≥ 0 je istinit sud.P(x) = x2 + 4x − 8 ≤ 0.Sud (∀∀∀x ∈ N)x2 + 4x − 8 ≤ 0 jelažni sud.P(x) = x je trapez definiramo naskupu svih cetverokuta nekeravnine.Sud (∀∀∀x)P(x) je lažni.
Elementarna matematika 1
![Page 17: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/17.jpg)
Primjeri
P(x) = x2 ≥ 0.Sud (∀∀∀x ∈ N)x2 ≥ 0 je istinit sud.P(x) = x2 + 4x − 8 ≤ 0.Sud (∀∀∀x ∈ N)x2 + 4x − 8 ≤ 0 jelažni sud.P(x) = x je trapez definiramo naskupu svih cetverokuta nekeravnine.Sud (∀∀∀x)P(x) je lažni.
Elementarna matematika 1
![Page 18: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/18.jpg)
Egzistencijalni kvantifikator, u oznaci ∃∃∃,kaže da je sudovna funkcija istinit sudza neke vrijednosti varijabli.citamo: „postoji (neki)”.Na primjer, (∃∃∃x ∈ S)P(x) je skracenizapis za
∃∃∃x ((x ∈ S)&P(x)) .
Elementarna matematika 1
![Page 19: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/19.jpg)
Primjeri
(∃∃∃x ∈ R) x + 7 = 35 je istinit sud.(∃∃∃x ∈ R) x2 + 4x + 8 < 0 je lažnisud.(∃∃∃x ∈ Q) x2 = 2 je lažni sud.(∃∃∃x ∈ R) x2 = 2 je istinit sud.
Elementarna matematika 1
![Page 20: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/20.jpg)
Primjeri
(∃∃∃x ∈ R) x + 7 = 35 je istinit sud.(∃∃∃x ∈ R) x2 + 4x + 8 < 0 je lažnisud.(∃∃∃x ∈ Q) x2 = 2 je lažni sud.(∃∃∃x ∈ R) x2 = 2 je istinit sud.
Elementarna matematika 1
![Page 21: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/21.jpg)
Primjeri
(∃∃∃x ∈ R) x + 7 = 35 je istinit sud.(∃∃∃x ∈ R) x2 + 4x + 8 < 0 je lažnisud.(∃∃∃x ∈ Q) x2 = 2 je lažni sud.(∃∃∃x ∈ R) x2 = 2 je istinit sud.
Elementarna matematika 1
![Page 22: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/22.jpg)
Primjeri
(∃∃∃x ∈ R) x + 7 = 35 je istinit sud.(∃∃∃x ∈ R) x2 + 4x + 8 < 0 je lažnisud.(∃∃∃x ∈ Q) x2 = 2 je lažni sud.(∃∃∃x ∈ R) x2 = 2 je istinit sud.
Elementarna matematika 1
![Page 23: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/23.jpg)
Ukoliko je vrijednost varijable za koju jesudovna funkcija istinita jedinstvena, tooznacavamo s !∃∃∃.citamo: „postoji jedinstveni”.!∃∃∃ nije novi kvantifikator, vec je(!∃∃∃x)P(x) oznaka za formulu
∃∃∃x (P(x)&∀∀∀y(P(y) =⇒ y = x)) .
Elementarna matematika 1
![Page 24: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/24.jpg)
Primjeri
(!∃∃∃x ∈ N) x2 = 4 je istinit sud.(!∃∃∃x ∈ R) x2 − 5x + 6 = 0 je lažnisud.
Elementarna matematika 1
![Page 25: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/25.jpg)
Primjeri
(!∃∃∃x ∈ N) x2 = 4 je istinit sud.(!∃∃∃x ∈ R) x2 − 5x + 6 = 0 je lažnisud.
Elementarna matematika 1
![Page 26: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/26.jpg)
Predikate možemo povezati u sudove ikombiniranjem kvantifikatora. Naprimjer,
(∀∀∀x)(∃∃∃y)P(x , y)
citamo„za svako x postoji y takav da jeP(x , y)”.
Elementarna matematika 1
![Page 27: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/27.jpg)
Negacija sudova skvantifikatorima
¬ ((∀∀∀x)P(x)) ≡ (∃∃∃x)¬P(x)
¬ ((∃∃∃x)P(x)) ≡ (∀∀∀x)¬P(x)
Elementarna matematika 1
![Page 28: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/28.jpg)
Primjeri
A= „Svaka kuca je bijela”.¬A= „Postoji kuca koja nije bijela”.
Elementarna matematika 1
![Page 29: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/29.jpg)
Primjeri
A= „Svaka kuca je bijela”.¬A= „Postoji kuca koja nije bijela”.
Elementarna matematika 1
![Page 30: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/30.jpg)
Primjeri
A= „(∀∀∀x ∈ R) x2 > x + 2”.¬A= „(∃∃∃x ∈ R) x2 ≤ x + 2”.A= „(∀∀∀x ∈ R)(∀∀∀y ∈ R) x2 + y2 ≥ 0”.¬A= „(∃∃∃x ∈ R)(∃∃∃y ∈ R) x2 + y2 < 0”.
Elementarna matematika 1
![Page 31: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/31.jpg)
Primjeri
A= „(∀∀∀x ∈ R) x2 > x + 2”.¬A= „(∃∃∃x ∈ R) x2 ≤ x + 2”.A= „(∀∀∀x ∈ R)(∀∀∀y ∈ R) x2 + y2 ≥ 0”.¬A= „(∃∃∃x ∈ R)(∃∃∃y ∈ R) x2 + y2 < 0”.
Elementarna matematika 1
![Page 32: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/32.jpg)
Primjeri
A= „(∀∀∀x ∈ R) x2 > x + 2”.¬A= „(∃∃∃x ∈ R) x2 ≤ x + 2”.A= „(∀∀∀x ∈ R)(∀∀∀y ∈ R) x2 + y2 ≥ 0”.¬A= „(∃∃∃x ∈ R)(∃∃∃y ∈ R) x2 + y2 < 0”.
Elementarna matematika 1
![Page 33: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/33.jpg)
Primjeri
A= „(∀∀∀x ∈ R) x2 > x + 2”.¬A= „(∃∃∃x ∈ R) x2 ≤ x + 2”.A= „(∀∀∀x ∈ R)(∀∀∀y ∈ R) x2 + y2 ≥ 0”.¬A= „(∃∃∃x ∈ R)(∃∃∃y ∈ R) x2 + y2 < 0”.
Elementarna matematika 1
![Page 34: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/34.jpg)
Primjeri
A= „(∃∃∃x ∈ Q) x2 = 8”.¬A= „(∀∀∀x ∈ Q) x2 6= 8”.A= „(∃∃∃x ∈ R)(∃∃∃y ∈ R) xy < 0”.¬A= „(∀∀∀x ∈ R)(∀∀∀y ∈ R) xy ≥ 0”.
Elementarna matematika 1
![Page 35: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/35.jpg)
Primjeri
A= „(∃∃∃x ∈ Q) x2 = 8”.¬A= „(∀∀∀x ∈ Q) x2 6= 8”.A= „(∃∃∃x ∈ R)(∃∃∃y ∈ R) xy < 0”.¬A= „(∀∀∀x ∈ R)(∀∀∀y ∈ R) xy ≥ 0”.
Elementarna matematika 1
![Page 36: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/36.jpg)
Primjeri
A= „(∃∃∃x ∈ Q) x2 = 8”.¬A= „(∀∀∀x ∈ Q) x2 6= 8”.A= „(∃∃∃x ∈ R)(∃∃∃y ∈ R) xy < 0”.¬A= „(∀∀∀x ∈ R)(∀∀∀y ∈ R) xy ≥ 0”.
Elementarna matematika 1
![Page 37: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/37.jpg)
Primjeri
A= „(∃∃∃x ∈ Q) x2 = 8”.¬A= „(∀∀∀x ∈ Q) x2 6= 8”.A= „(∃∃∃x ∈ R)(∃∃∃y ∈ R) xy < 0”.¬A= „(∀∀∀x ∈ R)(∀∀∀y ∈ R) xy ≥ 0”.
Elementarna matematika 1
![Page 38: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/38.jpg)
Primjeri
Neki složeni primjeri negacijekvantifikatora:
(∀∀∀x)(∀∀∀y) (P(x , y) =⇒ Q(x , y))
Elementarna matematika 1
![Page 39: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/39.jpg)
Primjeri
Neki složeni primjeri negacijekvantifikatora:
(∀∀∀x)(∀∀∀y) (P(x , y) =⇒ Q(x , y))
Negacija:
(∃∃∃x)(∃∃∃y) (P(x , y)&(¬Q(x , y)))
Elementarna matematika 1
![Page 40: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/40.jpg)
Primjeri
Neki složeni primjeri negacijekvantifikatora:
(∀∀∀x)(∃∃∃y) (P(x , y) =⇒ Q(x , y))
Elementarna matematika 1
![Page 41: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/41.jpg)
Primjeri
Neki složeni primjeri negacijekvantifikatora:
(∀∀∀x)(∃∃∃y) (P(x , y) =⇒ Q(x , y))
Negacija:
(∃∃∃x)(∀∀∀y) (P(x , y)&(¬Q(x , y)))
Elementarna matematika 1
![Page 42: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/42.jpg)
Primjeri
Još par primjera negacije kvantifikatora„iz života”: Definicija injekcije:
(∀∀∀x ∈ A)(∀∀∀y ∈ A) (x 6= y =⇒ f (x) 6= f (y))
Elementarna matematika 1
![Page 43: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/43.jpg)
Primjeri
Još par primjera negacije kvantifikatora„iz života”: Definicija injekcije:
(∀∀∀x ∈ A)(∀∀∀y ∈ A) (x 6= y =⇒ f (x) 6= f (y))
Obrat po kontrapoziciji za injekciju:
(∀∀∀x ∈ A)(∀∀∀y ∈ A) (f (x) = f (y) =⇒ x = y)
Elementarna matematika 1
![Page 44: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/44.jpg)
Primjeri
Još par primjera negacije kvantifikatora„iz života”: Definicija injekcije:
(∀∀∀x ∈ A)(∀∀∀y ∈ A) (x 6= y =⇒ f (x) 6= f (y))
Negacija — funkcija nije injekcija:
(∃∃∃x ∈ A)(∃∃∃y ∈ A) (x 6= y & f (x) = f (y))
Elementarna matematika 1
![Page 45: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/45.jpg)
Primjeri
Definicija konvergentnog niza:
(∃∃∃L ∈ R)(∀∀∀ε > 0)(∃∃∃n0 ∈ N)(∀∀∀n ∈ N)
(n ≥ n0 =⇒ |an − L| < ε)
Elementarna matematika 1
![Page 46: Predavanje kvantifikatori](https://reader034.vdocuments.pub/reader034/viewer/2022052321/5530015e550346b95f8b4638/html5/thumbnails/46.jpg)
PrimjeriDefinicija konvergentnog niza:
(∃∃∃L ∈ R)(∀∀∀ε > 0)(∃∃∃n0 ∈ N)(∀∀∀n ∈ N)
(n ≥ n0 =⇒ |an − L| < ε)
Negacija — definicija divergentnogniza:
(∀∀∀L ∈ R)(∃∃∃ε > 0)(∀∀∀n0 ∈ N)(∃∃∃n ∈ N)
(n ≥ n0 & |an − L| ≥ ε)
Elementarna matematika 1