Professional Documents
Culture Documents
Logika
Logika
v
vi Predgovor
1 Iskazna logika . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1. Iskazi i iskazne formule . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Istinitosna vrednost iskazne formule . . . . . . . . . . . . . . . . . . . . . . . 8
1.3. Zadovoljive i valjane iskazne formule . . . . . . . . . . . . . . . . . . . . . . 13
1.4. Semantička posledica i neprotivrečan skup iskaznih fomula . . 17
1.5. Disjunktivna i konjunktivna normalna forma . . . . . . . . . . . . . . . 20
2 Predikatska logika . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.1. Termi i predikatske formule . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.2. Valjanost i zadovoljivost predikatske formule . . . . . . . . . . . . . . . 33
3 Skupovi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.1. Operacije sa skupovima . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.2. Simetrična razlika skupova i partitivni skup . . . . . . . . . . . . . . . . 72
3.3. Dekartov proizvod skupova . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
4 Relacije . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
4.1. Operacije sa relacijama . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
4.2. Osobine relacija . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
5 Funkcije . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
5.1. Korespondencije i funkcije . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
5.2. Osobine funkcija . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
5.3. Ekvivalentni skupovi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
vii
Glava 1
Iskazna logika
Pojam iskaza je, kao što i to samo ime sugeriše, osnovni pojam u iskaznoj
logici. Iskazi su izjave koje su ili tačne ili netačne. Iskaze zadajemo iz-
javnim rečenicama. Rečenica "Ceo broj 1 je najmanji pozitivan ceo broj."
jeste iskaz i to tačan. Tačnost iskaza odnosno njegova netačnost naziva se
istinitosna vrednost iskaza. Rečenice "Ko si ti?", "Za sledeći cas uradite do-
maći!", "Ova rečenica nije tačna." nisu iskazi. Prva i druga rečenica nemaju
istinitosnu vrednost, dok je treća rečenica istovremeno i tačna i netačna, što
nije dozvoljeno. U prirodnom jeziku logička struktura unutar neke rečenice
uspostavlja se korišćenjem logičkih veznika nije, i, ili, ako onda, kojima
se povezuju jednostavniji iskazi. Slično, u iskaznoj logici složeniji iskazi se
grade vezivanjem jednostavnijih iskaza uz pomoć logičkih veznika iskazne
logike. Proste iskaze, iskaze koji nemaju svoju unutrašnju logičku struk-
turu, odnosno iskaze koji se ne mogu rastaviti na jednostavnije iskaze, oz-
načavamo iskaznim slovima. Uobičajeno je da se iskazna slova obeležavaju
malim latiničnim slovima, po potrebi sa indeksima p, q, r, p1 , q1 , r1 , .... Kao što
je već pomenuto, od prostih iskaza u iskaznoj logici gradimo složene ko-
rišćenjem logičkih veznika. Skup logičkih veznika čine jedan unarni veznik
¬ (negacija) i četiri binarna veznika ∨ (disjunkcija), ∧ (konjunkcija), ⇒ (im-
plikacija) i ⇔ (ekvivalencija). Negacija iskaza p je iskaz "nije p" koji je tačan
ako i samo ako je iskaz p netačan. Negaciju iskaza p, označavamo ¬p. Kon-
1
2 1 Iskazna logika
junkcija iskaza p i q je iskaz "p i q", koji je tačan ako i samo ako su oba iskaza
p i q tačni. Konjunkcija iskaza p i q, označavamo p ∧ q. Disjunkcija iskaza p
i q je iskaz "p ili q", koji je tačan ako i samo ako su je bar jedan od iskaza
p i q tačan. Disjunkciju iskaza p i q, označavamo p ∨ q. Implikacija redom
iskaza p i q je iskaz " ako p, onda q", koji je netačan ako i samo ako su je
iskaz p tačan a iskaz q netačni. Implikaciju iskaza p i q, označavamo p ⇒ q.
U implikaciji p ⇒ q, iskaz p je premisa, pretpostavka ili antecedent, dok je
iskaz q zaključak, posledica ili konsekvent. Ekvivalencija iskaza p i q je iskaz
"p ako i samo ako q", koji je tačan ako i samo ako su iskazi p i q ili oba tačni ili
oba netačni iskazi. Ekvivalenciju iskaza p i q, označavamo p ⇔ q. Analogno
prirodnom (maternjem) jeziku, u kome proizvoljan niz slova ne predstavlja
uvek smislenu rečenicu, i u iskaznoj logici proizvoljan niz iskaznih slova i
logičkih veznika ne predstavlja uvek iskaznu formulu odnosno rečenicu u
iskaznoj logici. Jezik iskazne logike sastoji se iz sledećih simbola: iskazna
slova, logički veznici, logičke konstante > i ⊥ i pomoćni simboli ( i ). Kon-
ačan niz simbola jezika iskazne logike naziva se izraz odnosno reč iskazne
logike. Skup izkaznih formula je najmanji podskup skupa svih reč iskazne
logike, takav da važe sledeí uslovi:
• Iskazna slova i logičke konstante pripadaju skupu iskaznih formula.
• Ako reč A iskazne logike pripada skupu iskaznih formula, tada skupu
iskaznih formula pripada i reč ¬A.
• Ako reči A i B iskazne logike pripadaju skupu iskaznih formula, tada
skupu iskaznih formula pripada i reči (A ∧ B), (A ∨ B), (A ⇒ B) i (A ⇔ B).
Svaka podreč iskazne formule koja je i sama iskazna formula naziva se pot-
formula ove iskazne formule. Možemo primetiti da pored iskaznih slova,
logičkih konstanti i logičkih veznika, iskazne formule sadrže i zagrade. Ko-
rišćenjem zagrada izbegava se moguća dvosmislenost iskaznih formula. Bez
njih ne možemo sa sigurnošću odrediti redosled izvršavanja logičkih op-
eracija. Medjutim, upotreba velikog broja zagrada može uticati na čitljivost
formule. Iz ovog razloga se uvodi konvencija o prioritetu logičkih veznika.
Na osnovu ove konvencije, logički veznik negacije ima najviši prioritet kao
jedini unarni veznik. Posle negacije najveći prioritet imaju logički veznici
konjunkcije ∧ i disjunkcije ∨ koji imaju podjednak prioritet. Najmanji prior-
itet imaju logički veznici implikacije ⇒ i ekvivalencije ⇔ koji takodje imaju
podjednak prioritet. Korišćenjem konvencije moguće je brišanje zagrada oko
formula čiji veznik ima najveći prioritet.
Zadatak 1.1. Koje od navedenih rečenica predstavljaju iskaze:
(a) Koliko je sati?
(b) Ako je x = 3, onda je x2 = 6.
(c) Pazi auto!
(d) Svi parni bojevi su deljivi sa 2.
(e) Jupiter je planeta najbliža Suncu.
1.1. Iskazi i iskazne formule 3
Rešenje: Prva i treća rečenica nisu iskazi jer one nemaju istinitosnu vrednost.
Druga četvrta i peta rečenica su iskazi, pri čemu su druga i peta rečenica
netačni iskazi, a četvrta rečenica predstavlja tačan iskaz. u
t
Zadatak 1.2. Odrediti da li su sledeći izrazi iskazne formule:
(a) (p ∧ q) ∨ ¬r
(b) (p3 ⇔ p1 ) ∧ ¬p
(c) ((p∧ ⇒)q)
(d) (¬(p ∧ q) ⇔ s)
(e) ⇔ r∨p
Rešenje: Na osnovu definicije skupa iskaznih formula, možemo zaključiti da
izrazi (a), (b) i (d) jesu iskazne formule, dok izrazi (c) i (e) to nisu. u
t
Zadatak 1.3. Odrediti sve potfromule sledećih iskaznih formula:
(a) (p ∧ q) ∨ ¬r
(b) (¬p3 ⇔ p1 ) ∧ ¬p
(c) (¬r ∨ p) ⇒ (¬q ∧ s)
(d) ¬(p ⇒ q) ⇔ s
(e) ¬r ⇔ (p ∨ ¬q)
Rešenje: Na osnovu činjenice da je potformula neke iskazne formule svaka
njena podreč koja je i sama iskazna formula u nastavku navodimo sve pot-
formule datih iskaznih formula:
(a) p, q, r, ¬r, p ∧ q, (p ∧ q) ∨ ¬r
(b) p, p1 , p3 , ¬p, ¬p3 , ¬p3 ⇔ p1 , (¬p3 ⇔ p1 ) ∧ ¬p
(c) p, q, r, s, ¬q, ¬r, ¬r ∨ p, ¬q ∧ s, (¬r ∨ p) ⇒ (¬q ∧ s)
(d) p, q, s, p ⇒ q, ¬(p ⇒ q), ¬(p ⇒ q) ⇔ s
(e) p, q, r, ¬q, ¬r, p ∨ ¬q, ¬r ⇔ (p ∨ ¬q)
Primetimo da su potformule poredjane po složenosti odnosno broju logičkih
veznika u potformulama. u t
Zadatak 1.4. Sledeće rečenice prevesti na jezik iskazne logike:
(a) Pavle je pametan i vredan.
(b) Ana je pametna, ali nije vredna.
(c) Milica nije napisala pismo ili je pismo izgubljeno.
(d) Suzana vredno uči, inače će pasti na ispitu.
(e) Ako je izvod funkcije f definisan na intervalu (a, b), potreban uslov da f bude
rastuća na tom intervalu je da joj je prvi izvod pozitivan na (a, b).
Rešenje: (a) Označimo sa p prost iskaz "Pavle je pametan", dok ćemo sa q
označiti prost iskaz "Pavle je vredan". Iskaz "Pavle je pametan i vredan"
predstavlja konjunkciju iskaza "Pavle je pametan" i "Pavle je vredan" što
znači da ga možemo zapisati na sledeći način p ∧ q.
4 1 Iskazna logika
na žurku" i "Maja i Kaća dolaze na žurku" što znači da taj iskaz možemo
zapisati kao p ⇒ (q ∧ r).
(b) Iskaz "Ana ne dolazi na žurku" predstavlja negaciju iskaza "Ana dolazi
na žurku", dakle možemo ga zapisati kao ¬s. Sčno iskaz "Maja ne dolazi na
žurku" predstavlja negaciju iskaza "Maja dolazi na žurku", dakle možemo
ga zapisati kao ¬q. Dalje, iskaz "Ana i Maja ne dolaze na žurku" predstavlja
konjunkciju iskaza "Ana ne dolazi na žurku" i "Maja ne dolazi na žurku"
pa se može zapisati kao ¬s ∧ ¬q. Konačno iskaz "Kaća dolazi na žurku ako
Ana i Maja ne dolaze" predstavlja implikaciju izmedju iskaza "Ana i Maja
ne dolaze na žurku" i "Kaća dolazi na žurku" što znači da taj iskaz možemo
zapisati kao (¬s ∧ ¬q) ⇒ r
(c) Primetimo da iskaz "Ana ne dolazi na žurku" predstavlja negaciju
iskaza "Ana dolazi na žurku", dakle možemo ga zapisati kao ¬s. Iskaz "Kaća
dolazi a Ana ne dolazi na žurku" je konjunkcija iskaza "Kaća dolazi na žurku"
i "Ana ne dolazi na žurku", što implicira da ovaj izraz možemo zapisati na
sledeći način: r ∧ ¬s. Na kraju, iskaz "Sanja dolazi na žurku ako i samo ako
Kaća dolazi a Ana ne dolazi na žurku" je ekvivalencija izmedju iskaza "Sanja
dolazi na žurku" i iskaza "Kaća dolazi a Ana ne dolazi na žurku", dakle može
se zapisati kao p ⇔ (r ∧ ¬s).
(d) Negacija iskaza "Sanja dolazi na žurku" je iskaz "Sanja ne dolazi
na žurku", pa se iskaz "Sanja ne dolazi na žurku" može zapisati kao ¬p.
Analogno, negacija iskaza "Kaća dolazi na žurku" je iskaz "Kaća ne dolazi
na žurku", pa se iskaz "Kaća ne dolazi na žurku" može zapisati kao ¬r.
Implikacija izmedju iskaza "Kaća ne dolazi na žurku" i iskaza "Ana dolazi
na žurku" je iskaz "Ako Kaća ne dolazi Ana dolazi na žurku", dakle ovu
implikaciju možemo zapisati na sledeći način: ¬r ⇒ s. Iskaz "Ako Sanja ne
dolazi na žurku, onda ako Kaća ne dolazi Ana dolazi na žurku" je implikacija
izmedju iskaza "Sanja ne dolazi na žurku" i iskaza "Ako Kaća ne dolazi Ana
dolazi na žurku" pa se može zapisati kao ¬p ⇒ (¬r ⇒ s).
(e) Iskazi "Maja ne dolazi na žurku" odnosno "Sanja ne dolazi na žurku"
predstavljaju negacije iskaza "Maja dolazi na žurku" odnosno "Sanja dolazi
na žurku" pa ih možemo zapisati respektivno ¬p odnosno ne1q. Implikacija
izmedju iskaza "Sanja ne dolazi na žurku" i "Kaća dolazi na žurku" je iskaz
"Kaća dolazi na žurku pod uslovom da Sanja ne dolazi", što znači da se može
zapisati kao ¬p ⇒ r. Slično iskaz "Ako Kaća dolazi, onda Maja ne dolazi na
žurku" je implikacija izmedju iskaza "Kaća dolazi na žurku" i iskaza "Maja
ne dolazi na žurku", što znači da se može zapisati kao r ⇒ ¬q. Konačno iskaz
"Kaća dolazi na žurku pod uslovom da Sanja ne dolazi, ali ako Kaća dolazi,
onda Maja ne dolazi na žurku" je konjunkcija izmedju iskaza "Kaća dolazi
na žurku pod uslovom da Sanja ne dolazi" i "Ako Kaća dolazi, onda Maja ne
dolazi na žurku", što implicira da se može zapisati kao (¬p ⇒ r) ⇒ (r ⇒ ¬q).
(f) Konjunkcija redom iskaza "Ana dolazi na žurku", "Maja dolazi na
žurku" i "Kaća dolazi na žurku" je iskaz "Ana, Maja i Kaća dolaze na žurku".
Drugim rečima iskaz "Ana, Maja i Kaća dolaze na žurku" možemo zapisati
kao s ∧ q ∧ r. Ekvivalencija izmedju iskaza "Ana, Maja i Kaća dolaze na žurku"
6 1 Iskazna logika
i "Sanja ne dolazi na žurku" je iskaz "Ana, Maja i Kaća dolaze na žurku ako i
samo ako Sanja ne dolazi". Na osnovu ovoga iskaz " Ana, Maja i Kaća dolaze
na žurku ako i samo ako Sanja ne dolazi" se može zapisati sa (s ∧ q ∧ r) ⇔ ¬p.
Iskaz "Na žurku ne dolaze ni Ana ni Maja" je konjunkcija izmedju iskaza
"Ana ne dolazi na žurku" i iskaza "Maja ne dolazi na žurku", pa se ovaj
iskaz može zapisati sa ¬s ∧ ¬q. Iskaz "Sanja dolazi na žurku ako dolazi Kaća"
je implikacija izmedju iskaza "Kaća dolazi na žurku" i iskaza "Sanja dolazi
na žurku", što znači da ga možemo zapisati kao r ⇒ p. Slično, iskaz "Ako
na žurku ne dolaze ni Ana ni Maja, onda Sanja dolazi ako dolazi Kaća" je
implikacija izmedju iskaza "Na žurku ne dolaze ni Ana ni Maja" i iskaza
"Sanja dolazi na žurku ako dolazi Kaća", tj. ovaj iskaz se može zapisati
(¬s ∧ ¬q) ⇒ (r ⇒ p). Konačno iskaz "Ana, Maja i Kaća dolaze na žurku ako i
samo ako Sanja ne dolazi, ali ako na žurku ne dolaze ni Ana ni Maja, onda
Sanja dolazi ako dolazi Kaća" je konjunkcija iskaza "Ana, Maja i Kaća dolaze
na žurku ako i samo ako Sanja ne dolazi" i iskaza "Ako na žurku ne dolaze
ni Ana ni Maja, onda Sanja dolazi ako dolazi Kaća", odnosno ovaj iskaz se
može zapisati kao ((s ∧ q ∧ r) ⇔ ¬p) ∧ ((¬s ∧ ¬q) ⇒ (r ⇒ p)). ut
Zadatak 1.6. Andjela, Branko i Kristina su studenti koji slušaju predmet "Logika".
Neka su dati sledeći iskazi:
• p – "Andjela je položila ispit iz Logike"
• q – "Branko je položio ispit iz Logike"
• r – "Kristina je položila ispit iz Logike"
Pomoću ovih iskaza zapisati sledeće rečenice na jeziku iskazne logike:
(a) Kristina je jedina položila ispit iz Logike
(b) Andjela je jedina koja nije položila ispit iz Logike
(c) Samo jedan od ovo troje studenata je položio ispit iz Logike
(d) Bar jedan od ovo troje studenata je položio ispit iz Logike
(e) Bar dvoje od ovo troje studenata je položilo ispit iz Logike
(f) Najviśe dvoje od ovo troje studenata je položilo ispit iz Logike
(g) Tačno dvoje od ovo troje studenata je položilo ispit iz Logike
(b) Iskaz "Andjela je jedina koja nije položila ispit iz Logike" ekvivalentan
je iskazu "Andjela nije položila ispit iz Logike, a Kristina i Branko su položili
ispit iz Logike". Iskaz "Andjela nije položila ispit iz Logike" predstavlja ne-
gaciju iskaza "Andjela je položila ispit iz Logike", dakle možemo ga zapisati
kao ¬p. Iskaz "Kristina i Branko su položili ispit iz Logike" predstavlja kon-
junkciju iskaza "Kristina je položila ispit iz Logike" i "Branko je položio ispit
iz Logike" pa se može zapisati kao r ∧ q. Konačno, iskaz "Andjela nije položila
ispit iz Logike, a Kristina i Branko su položili ispit iz Logike" predstavlja kon-
junkciju iskaza "Andjela nije položila ispit iz Logike" i "Kristina i Branko su
položili ispit iz Logike" pa ga možemo zapisati kao ¬p ∧ (r ∧ q).
(c) Iskaz "Samo jedan od ovo troje studenata je položio ispit iz Logike"
ekvivalentan je iskazu "Kristina je položila ispit iz Logike, a Andjela i Branko
nisu ili je Andjela položila ispit iz Logike, a Kristina i Branko nisu ili je Branko
položio ispit iz Logike, a Kristina i Andjela nisu". Na osnovu dela (a) ovog
zadatka imamo da se iskazi "Kristina je položila ispit iz Logike, a Andjela i
Branko nisu", "Andjela je položila ispit iz Logike, a Kristina i Branko nisu" i
"Branko je položio ispit iz Logike, a Kristina i Andjela nisu" mogu zapisati
respektivno r ∧ (¬p ∧ ¬q), p ∧ (¬r ∧ ¬q) odnosno q ∧ (¬r ∧ ¬p). Iskaz "Kristina
je položila ispit iz Logike, a Andjela i Branko nisu ili je Andjela položila ispit
iz Logike, a Kristina i Branko nisu ili je Branko položio ispit iz Logike, a
Kristina i Andjela nisu" predstavlja disjunkciju iskaza "Kristina je položila
ispit iz Logike, a Andjela i Branko nisu", "Andjela je položila ispit iz Logike,
a Kristina i Branko nisu" i "Branko je položio ispit iz Logike, a Kristina i
Andjela nisu" pa ga možemo zapisati kao (r ∧ (¬p ∧ ¬q)) ∨ (p ∧ (¬r ∧ ¬q)) ∨ (q ∧
(¬r ∧ ¬p)).
(d) Iskaz "Bar jedan od ovo troje studenata je položio ispit iz Logike" ekvi-
valentan je iskazu "Kristina je položila ispit iz Logike ili je Andjela položila
ispit iz Logike ili je Branko položio ispit iz Logike". Iskaz "Kristina je položila
ispit iz Logike ili je Andjela položila ispit iz Logike" predstavlja disjunkciju
iskaza "Kristina je položila ispit iz logike" i "Andjela je položila ispit iz
logike", tj. može biti predstavljen kao r ∨ p. Iskaz "Kristina je položila ispit
iz Logike ili je Andjela položila ispit iz Logike ili je Branko položio ispit iz
Logike" predstavlja disjunkciju iskaza "Kristina je položila ispit iz Logike ili
je Andjela položila ispit iz Logike" i "Branko je položio ispit iz Logike" pa ga
možemo zapisati kao (r ∨ p) ∨ q.
(e) Iskaz "Bar dvoje od ovo troje studenata je položilo ispit iz Logike"
ekvivalentan je iskazu "Kristina i Andjela su položile ispit iz Logike ili su
Andjela i Branko položili ispit iz Logike ili su Branko i Kristina položili ispit
iz Logike". Iskaz "Kristina i Andjela su položile ispit iz Logike" predstavlja
konjunkciju iskaza "Kristina je položila ispit iz logike" i "Andjela je položila
ispit iz logike", tj. može biti predstavljen kao r ∧ p. Slično iskazi "Andjela i
Branko su položili ispit iz Logike" odnosno "Branko i Kristina položili ispit
iz Logike" se mogu zapisati repektivno p ∧ q odnosno q ∧ r. Iskaz "Kristina
i Andjela su položile ispit iz Logike ili su Andjela i Branko položili ispit iz
Logike" predstavlja disjunkciju iskaza "Kristina i Andjela su položile ispit iz
8 1 Iskazna logika
Obe formule (1.1) i (1.3) su tačne jedino u valuaciji u kojoj je iskaz p1 tačan a
iskazi p2 i p3 netačni. Dakle možemo da zaključimo da se zlato nalazi u prvoj
kutiji. ut
Zadatak 1.10. Mika, Pera i Laza su zarobljeni u hladnoj i mračnoj tamnici. Nakon
kratke pretrage oni su utvrdili da tamnica ima tri vrata različitih boja: plava, crvena
i zelena. Iza jednih od ovih vrata nalazi se njihov put ka slobodi, dok se iza ostalih
nalaze opasni zmajevi koji bljuju vatru. Na svim vratima se nalaze natpisi:
• Na crvenim vratima se nalazi natpis "Iza ovih vrata je put ka slobodi"
• Na plavim vratima se nalazi natpis "Iza ovih vrata nije put ka slobodi"
• Na zelenim vratima se nalazi natpis "Put ka slobodi nije iza plavih vrata"
Ako je bar jedan od ovih natpisa tačan i bar jedan od ovih natpisa netačan, da li je
moguće utvrditi sa sigurnošću iza kojih vrata se nalazi put ka slobodi.
Rešenje: Označimo sa p, q i r sledeće iskaze:
• p: "Sloboda se nalazi iza crvenih vrata"
• q: "Sloboda se nalazi iza plavih vrata"
• r: "Sloboda se nalazi iza zelenih vrata"
Prevodjenjem problema na jezik iskazne logike dobijamo:
1. "Iza jednih vrata se nalazi put ka slobodi, doka se iza ostalih nalaze opasni
zmajevi koji bljuju vatru"
p ∨ ¬q ∨ ¬q (1.5)
Sve tri formule (1.4), (1.5) i (1.6) su tačne jedino u valuaciji u kojoj je iskaz r
tačan a iskazi p i q netačni. S obzirom na ovo, možemo da zaključimo da se
sloboda nalazi iza zelenih vrata. u t
Zadatak 1.11. Ana se nalazi u lavirintu. Nakon nekog vremena nailazi na
raskrsnicu od koje vode tri različita puteljka: put sa leve strane je posut peskom,
12 1 Iskazna logika
put pravo ispred nje je šumovit dok je onaj sa desne strane posut sitnim šljunkom.
Ispred svakog puteljka se nalazi čuvar. Ana je razgovarala sa svakim čuvarom i oni
su joj rekli sledeće:
• Čuvar puta posutog peskom: "Ovaj put će te odvesti pravo u centar. Ako put
posut šljunkom vodi u centar onda i šumovit put vodi u centar."
• Čuvar šumovitog puta : "Ni put posut peskom ni put posut šljunkom ne vode u
centar."
• Čuvar puta posutog šljunkom: "Ako pratiš put posut peskom stići ćes u centar, a
ako pratiš šumoviti put izgubićeš se."
Ana zna da svi čuvari govore neistinu. Da li Ana može sa sigurnošću da izabere put
koji će je odvesti u centar lavirinta?
ili ekvivalentno
¬p ∨ (r ∧ ¬q) (1.8)
2. "Čuvar šumovitog puta laže"
ili ekvivalentno
p∨r (1.10)
3. "Čuvar puta posutog šljunkom laže"
ili ekvivalentno
¬p ∨ q (1.12)
Postoje dve valuacije u kojima su sve tri formule (1.8), (1.10) i (1.12) tačne
: valuacija u kojoj su iskazi q i r tačni a iskaz p netačan i valuacija u kojoj
je iskaz r tačan a iskazi p i q netačni. S obzirom na to što je u obe valuacije
iskaz r tačan, možemo da zaključimo da put posut šljunkom vodi do centra
lavirinta. u t
1.3. Zadovoljive i valjane iskazne formule 13
p ¬p ¬¬p p ⇔ ¬¬p
> ⊥ > >
⊥ > ⊥ >
Iz gornje istinitosne tablice vidimo da je formula p ⇔ ¬¬p tačna u svim
valuacijama, dakle ona je tautologija.
(b) Iskaznoj formuli p ∨ ¬p odgovara sledeća istinitosna tablica:
p ¬p p ∨ ¬p
> ⊥ >
⊥ > >
Formula p ∨ ¬p je tačna u svim valuacijama, dakle ona je tautologija.
(c) Iskaznoj formuli (¬p ∨ ¬q) ∧ (p ∨ q) odgovara sledeća istinitosna tablica:
p q ¬p ¬q p ∨ q ¬p ∨ ¬q (¬p ∨ ¬q) ∧ (p ∨ q)
> > ⊥ ⊥ > ⊥ ⊥
> ⊥ ⊥ > > > >
⊥ > > ⊥ > > >
⊥ ⊥ > > ⊥ > ⊥
1.3. Zadovoljive i valjane iskazne formule 15
Formula (¬p ∨ ¬q) ∧ (p ∨ q) nije tačna u svim valuacijama, što znači da ona
nije tautologija.
(d) Iskaznoj formuli F = (p ⇒ q) ∧ (q ⇒ r) ∧ ¬r ⇒ ¬p odgovara sledeća is-
tinitosna tablica:
p q r p⇒q q⇒p ¬r (p ⇒ q) ∧ (q ⇒ r) (p ⇒ q) ∧ (q ⇒ r) ∧ ¬r ¬p F
> > > > > ⊥ > ⊥ ⊥ >
> > ⊥ > ⊥ > ⊥ ⊥ ⊥ >
> ⊥ > ⊥ > ⊥ ⊥ ⊥ ⊥ >
> ⊥ ⊥ ⊥ > > ⊥ ⊥ ⊥ >
⊥ > > > > ⊥ > ⊥ > >
⊥ > ⊥ > ⊥ > ⊥ ⊥ > >
⊥ ⊥ > > > ⊥ > ⊥ > >
> ⊥ ⊥ > > > > > > >
Iz gornje istinitosne tablice vidimo da je formula F tačna u svim valuaci-
jama, dakle F je tautologija.
(e) Iskaznoj formuli F = (p ∨ ¬q) ∧ (r ∨ ¬q) ∧ ¬p ⇒ ¬r odgovara sledeća is-
tinitosna tablica:
p q r ¬q p ∨ ¬q r ∨ ¬q ¬p ¬r (p ∨ ¬q) ∧ (r ∨ ¬q) ∧ ¬p F
> > > ⊥ > > ⊥ ⊥ ⊥ >
> > ⊥ ⊥ > ⊥ ⊥ > ⊥ >
> ⊥ > > > > ⊥ ⊥ ⊥ >
> ⊥ ⊥ > > > ⊥ > ⊥ >
⊥ > > ⊥ > > > ⊥ > ⊥
⊥ > ⊥ ⊥ ⊥ ⊥ > > ⊥ >
⊥ ⊥ > > > > > ⊥ > ⊥
> ⊥ ⊥ > ⊥ > > > ⊥ >
Iz gornje istinitosne tablice vidimo da postoji valuacija u kojoj je formula
F netačna, dakle F nije tautologija. u
t
Zadatak 1.15. Dokazati da su sledeće iskazne formule tautologije:
(a) ¬p ∧ (p ∨ q) ⇒ q
(b) |= ((((p ⇒ q) ⇒ q) ⇒ r) ⇒ r) ⇒ p ∨ q ∨ r
(c) |= ((((p ⇒ q) ⇒ (¬r ⇒ ¬s)) ⇒ r) ⇒ t) ⇒ ((t ⇒ p) ⇒ (s ⇒ p))
v((((p ⇒ q) ⇒ q) ⇒ r) ⇒ r) = (((⊥ ⇒ ⊥) ⇒ ⊥) ⇒ ⊥) ⇒ ⊥ =
= ((> ⇒ ⊥) ⇒ ⊥) ⇒ ⊥ =
= (⊥ ⇒ ⊥) ⇒ ⊥ = > ⇒ ⊥ = ⊥,
pa važi |= F(>)
F(⊥) = (⊥ ∧ q) ∨ (q ∧ r) ∨ (⊥ ∧ r) ⇔ (⊥ ∨ q) ∧ (q ∨ r) ∧ (⊥ ∨ r)
⇔ ⊥ ∨ (q ∧ r) ∨ ⊥ ⇔ q ∧ (q ∨ r) ∧ r
⇔ (q ∧ r) ⇔ (q ∧ q ∧ r) ∨ (q ∧ r ∧ r)
⇔ (q ∧ r) ⇔ (q ∧ r)
pa važi |= F(⊥).
Kako u oba slučaja važi |= F(>), ostaje još da se pokaže da važi |= F(⊥).
Analogno se pokazuje da je |= F(⊥), odakle zaključujemo da važi |= F(p). t
u
Skup iskaznih formula {A1 , A2 , ..., An } je neprotivrečan ako i samo ako pos-
toji bar jedna valuacija u kojoj su sve formule iz ovog skupa tačne. Ako
18 1 Iskazna logika
tačna u valuaciji v, tj. v(C ⇒ A) = >, što dalje implicira da je i formula A tačna
u valuaciji v. ut
Zadatak 1.20. Dokazati da za proizvoljne iskazne formule A1 , A2 , ..., An i A važi:
Ako je formula A je tautologija onda je A semantička posledica skupa formula
{A1 , A2 , ..., An }.
A, A ⇒ B |= B
¬B, A ⇒ B |= ¬A
20 1 Iskazna logika
Literal je iskazno slovo ili nnjegova negacija. Drugim rečima literal je iskazna
formula oblika p ili ¬p, pri čemu je p iskazno slovo. Iskazna formula A je u
konjunktivnoj normalnoj formi (skraćeno KNF), ako je A oblika:
j
pri čemu su ai , za svako 1 ≤ i ≤ n j i 1 ≤ j ≤ k, literali. Iskazna formula A je u
disjunktivnoj normalnoj formi (skraćeno DNF), ako je A oblika:
j
pri čemu su ai , za svako 1 ≤ i ≤ n j i 1 ≤ j ≤ k, literali. Za formule u disjunktivnoj
odnosno konjunktivnoj normalnoj formi jednostavno je ispitati da li su zado-
voljive, odnosno da li nisu tautologije. Preciznije, ako želimo da pronadjemo
valuaciju u kojoj je formula u disjunktivnoj normalnoj formi tačna, dovoljno
j j j
je da nadjemo valuaciju u kojoj je bar jedna konjunkcija a1 ∧ a2 ∧ · · · ∧ an j tačna.
S druge strane, ako želimo da dokažemo da neka formula u konjunktivnoj
normalnoj formi nije tautologija, dovoljno je da nadjemo bar jednu valuaciju
j j j
u kojoj disjunkcija a1 ∨ a2 ∨ · · · ∨ an j nije tačna. Pitanje koje se logično nameće
je šta je sa onim formulama koje nisu u konjunktivnoj odnosno disjunktivnoj
normalnoj formi.
pri čemu je
x, α = >
(
α
x =
¬x, α = ⊥
pri čemu je
x, α = >
(
α
x =
¬x, α = ⊥
pri čemu je
x, α = >
(
xα =
¬x, α = ⊥
pri čemu je
x, α = >
(
α
x =
¬x, α = ⊥
p q r A
> > > >
> > ⊥ >
> ⊥ > >
> ⊥ ⊥ >
⊥ > > >
⊥ > ⊥ >
⊥ ⊥ > >
⊥ ⊥ ⊥ ⊥
G(p, q, r) = p ∨ q ∨ r
(p ∧ q ⇔ A) ⇒ (A ∧ r).
(p ∧ q ⇔ A ∧ p) ∧ (p ∨ A ⇔ r ∨ p).
Predikatska logika, takodje poznnata pod nazivom logika prvog reda može
se shvatiti kao proširenje iskazne logike. U iskaznoj logici prosti iskazi ne-
maju unutrašnju strukturu, oni su predstavljeni iskaznim slovima koja su
ili tačna ili netačna. Nasuprot ovome u logici prvog reda atomske formule
(ono što su u iskaznoj logici prosti iskazi) imaju unutrašnju strukturu, tj. one
utvrdjuju odnos izmedju odredjenih elemenata. Još jedan značajan novi kon-
cept u predikatskoj logici je kvantifikacija: sposobnost tvrdnje da odredjeno
svojstvo važi za sve elemente ili da ono važi za neki element.
27
28 2 Predikatska logika
gornji odnosno donji indeks ukoliko želimo da istaknemo dužinu (broj ar-
gumenata) odnosno redni broj relacijskog simbola. Kvantifikator ∀ se naziva
univerzalni kvantifikator i koristi se da bi se označilo da odredjeno tvrd-
jenje važi za sve objekte iste vrste. Kvantifikator ∃ se naziva egzistencijalni
kvantifikator i koristi se da bi se označilo da odredjeno tvrdjenje važi za
bar jedan objekat neke vrste. Korišćenje kvantifikatora omogućava logičko
zaključivanje koje se ne može izvoditi pomoću iskaza.
Termi su izrazi izgradjeni samo od konstanti, promenljivih i funkcijskih
znakova koji su definisani na sledeći način:
Definicija 2.1. Termi se induktivno definišu na sledeći način:
(i) Promenljive i znaci konstanti su termi.
(ii) Ako je fmn funkcijski znak, a t1 , . . . , tn termi, onda je term i izraz fmn (t1 , ..., tn ).
(iii) Termi su oni i samo oni izrazi koji se mogu formirati primenom pravila (i) i
(ii) konačan broj puta.
Terme možemo posmatrati kao reči jezika predikatske logike. Rečenice
predikatske logike (predikatske formule) se dobijaju kada se termi povežu
odgovarajućim relacijskim znacima. Relacijske znake možemo posmatrati
kao glagole koji u rečenici odredjuju predikat, pa se otuda odgovara-
juće rečenice zovu predikatske formule, a shodno tome deo logike koji se
bavi takvim rečenicama naziva se predikatska logika. Povezivanjem terma
relacijskim znacima, dobijaju se najjednostavnije formule koje nazivamo
atomičnim odnosno atomarnim formulama. Konkretno, ako je Rnm relacijski
znak dužine n i t1 , . . . , tn termi, tada se izraz oblika
Rnm (t1 , . . . , tn )
naziva atomična formula. Kao što je već rečeno, atomične formule pred-
stavljaju najjednostavnije formule odnosno rečenice predikatske logike. Sve
rečenice jezika predikatske logike ili predikatske formule definisane su na
sledeći način:
Definicija 2.2. Predikatske formule se definišu induktivno na sledeći način:
1. Svaka atomična formula je predikatska formula.
2. Ako je F predikatska formula, onda je predikatska formula i izraz ¬F.
3. Ako je F predikatska formula, a x je promenljiva, onda je predikatska formula i
izraz ((∀x)F).
4. Ako je F predikatska formula, a x je promenljiva, onda je predikatska formula i
izraz ((∃x)F).
5. Ako su F i G predikatske formula, onda je predikatska formula i izraz (F ∧ G).
6. Ako su F i G predikatske formula, onda je predikatska formula i izraz (F ∨ G).
7. Ako su F i G predikatske formula, onda je predikatska formula i izraz (F ⇒ G).
8. Ako su F i G predikatske formula, onda je predikatska formula i izraz (F ⇔ G).
9. Prediktske formule su oni i samo oni izrazi koji se mogu formirati primenom
pravila 1.-8. konačan broj puta.
2.1. Termi i predikatske formule 29
pri čemu su xi1 , . . . , xik , sve slobodne promenljive iz F, nabrojane redom kojim
se pojvljuju u F.
Term t je slobodan za promenljivu x u predikatskoj formuli F, odnosno
term t je nezavisan od promenljive x u predikatskoj formuli F ako ni jedno
slobodno pojavljivanje promenljive x u formuli F ne leži u oblasti ejstva
kvantifikatora (∀y) ili (∃y), pri čemu je y neka promenljiva iz t.
Zadatak 2.29. Odrediti da li su sledeći izrazi termi:
(a) f 1 12 (x, y)
(b) 12 ( f 1 (x), 12 (c, z)) ∧ y
(c) h3 ( f 1 (a), c, 12 (x, z))
(d) (∀x)h3 (a, x, z)
(e) 12 ( f 1 (x), 12 (c, z))
Rešenje: Na osnovu definicije terma, možemo zaključiti da izrazi (a), (c) i (e)
jesu termi jer se mogu dobiti primenom pravila (i) i (ii) iz definicije terma
konačan broj puta, dok izrazi (b) i (d) to nisu. u
t
Zadatak 2.30. Odrediti da li su sledeći izrazi predikatske formule:
(a) Q3 (a, b, x)
(b) P2 ( f 1 (a), 12 (x, y)) ∧ R1 (b)
(c) f 1 (12 (h3 (a, x, b), y))
(d) (∀x)Q3 (x, f 1 (y), a) ⇒ P2 (h3 (a, b, z), c)
(e) (∀x)Q3 (x, f 1 (y), a) ∨ ¬h3 (x, y, z)
30 2 Predikatska logika
Predikatska formula (e) je zatvorena jer ona sadrži samo jednu promeljivu
x čije je svako pojavljivanje vezano. u
t
Zadatak 2.34. Ispitati da li je term t nezavisan od promenljive y u predikatskoj
formuli F, ako su term t i predikatska formula F definisani na sledeći način:
(a) t = x, F = P(x, y, z)
(b) t = x, F = R(z) ⇒ (∀x)P(x, y, z)
(c) t = 1(x, y), F = (∀x)Q(x, z) ⇒ R(y)
(d) t = 1(x, y), F = (∃x) R(x) ∨ Q(y, z)
Rešenje: U formuli (a) promenljiva y se pojavljuje samo jednom i to po-
javljivanje je slobodno. Obzirom na to da ovo pojavljivanje ne leži u oblasti
dejstva kvantifikatora (∀x) odnosno (∃x), term t je nezavisan od promenljive
y u predikatskoj formuli F.
U predikatskoj formuli (b) promenljiva y ima samo jedno slobodno po-
javljivanje i to pojavljivanje leži u oblasti kvantifikatora (∀x), dakle term t
ovde nije nezavisan od promenljive y u predikatskoj formuli F.
U formuli (c) slobodno pojavljivanje promenljive y ne leži u oblasti dejstva
kvantifikatora (∀x), odnosno (∃x), pa možemo da zaključimo da je term t je
nezavisan od promenljive y u predikatskoj formuli F.
Konačno i predikatskoj formuli (d) slobodno pojavljivanje promenljive
y leži u oblasti dejstva kvantifikatora (∃x), dakle term t nije nezavisan od
promenljive y u predikatskoj formuli F. u t
Zadatak 2.35. Sledeće rečenice prevesti na jezik predikatske logike:
(a) Svi studenti su pametni.
(b) Postoji student koji je pametan.
(c) Postoji student koji nije pametan.
(d) Svaki student voli nekog studenta.
(e) Postoji student koji voli sve studente.
(f) Postoji student koji sluša predavanja iz Analize ili Gemoetrije ali ne postoji
student koji sluša predavnja iz oba ova predmeta.
(g) Svaki student koji sluša predavanja iz Analize sluša takodje i predavanja iz
Geometrije.
Rešenje: (a) Neka je P(x) unarni relacijski znak koji interpretiramo kao x je
student i neka je Q(x) unarni relacijski znak koji interpretiramo kao x je
pametan. Tada datu rečenicu možemo na jeziku predikatske logike zapisati
sa (∀x) (P(x) ∧ Q(x))
(b) Neka je P(x) unarni relacijski znak koji interpretiramo kao x je student
i neka je Q(x) unarni relacijski znak koji interpretiramo kao x je pametan.
Onda rečenicu (b) možemo zapisati sa (∃x) (P(x) ∧ Q(x)) na jeziku predikatske
logike.
2.2. Valjanost i zadovoljivost predikatske formule 33
(c) Slično kao u delu (b) ako je P(x) unarni relacijski znak koji interpreti-
ramo kao x je student i Q(x) unarni relacijski znak koji interpretiramo kao
x je pametan, onda datu rečenicu možemo zapisati sa (∃x) (P(x) ∧ ¬Q(x)) na
jeziku predikatske logike.
(d) Neka je P(x) unarni relacijski znak koji interpretiramo kao x je stu-
dent i neka je R(x, y) binarni relacijski znak koji interpretiramo kao x voli
y. Tada datu rečenicu možemo na jeziku predikatske logike zapisati sa
(∀x) P(x) ⇒ (∃y)R(x, y) .
(e) Analogno rešenju dela (d), ozačimo sa P(x) unarni relacijski znak koji
interpretiramo kao x je student i neka je R(x, y) binarni relacijski znak koji
interpretiramo kao x voli y. Onda rečenicu (e) možemo na jeziku predikatske
logike zapisati sa (∃x) P(x) ∧ (∀y)R(x, y) .
(f) Označimo sa P(x) unarni relacijski znak koji interpretiramo kao x je stu-
dent, Q(x) unarni relacijski znak koji interpretiramo kao x sluša predavanja
iz Analize i sa R(x) unarni relacijski znak koji interpretiramo kao x sluša
predavanja iz Geometrije. Onda rečenicu "Postoji student koji sluša preda-
vanja iz Analize ili Gemoetrije" možemo zapisati sa (∃x) (P(x) ∧ (Q(x) ∨ R(x)))
na jeziku predikatske logike. Dalje, rečenica "Ne postoji student koji sluǐ
predavnja iz Geometrije i predavanja iz Analize" može se zapisati sa
¬(∃x) (P(x) ∧ Q(x) ∧ R(x)) na jeziku predikatske logike. Na osnovu ovoga datu
rečenicu možemo zapsati sa
(g) Slično kao u delu (f) ako je P(x) unarni relacijski znak koji interpre-
tiramo kao x je student, Q(x) unarni relacijski znak koji interpretiramo kao
x sluša predavanja iz Analize i sa R(x) unarni relacijski znak koji interpre-
tiramo kao x sluša predavanja iz Geometrije, onda datu rečenicu možemo
zapisati sa (∀x) (P(x) ∧ Q(x) ⇒ R(x)) na jeziku predikatske logike. u t
D |=v F
D |= S.
pri čemu su xi1 , . . . , xik , sve slobodne promenljive iz F, nabrojane redom kojim
se pojvljuju u F. Primenom prethodnog zadatka dobijamo da je formula F
tačna u nekoj interpretaciji D = (D, φ) ako i samo ako je formula (∀xi1 )F tačna
u u toj interpretaciji. Ponovnom primenom prethodnog zadatka dobijamo da
je formula (∀xi1 )F tačna u interpretaciji D = (D, φ) ako i samo ako je formula
(∀xi2 )(∀xi1 )F tačna u u toj interpretaciji. Višestrukom primenom prethodnog
zadatka dobijamo da je formula F tačna u interpretaciji D = (D, φ) ako i samo
ako je formula (∀xik ) · · · (∀xi1 ) tačna u toj interpretaciji, što je i trebalo dokazati.
t
u
Zadatak 2.38. Neka je F predikatska formula. Dokazati da važi:
(a) Formula F je valjana ako i samo ako formula ¬F nije zadovoljiva;
(b) Formula F je zadovoljiva ako i samo ako formula ¬F nije valjana.
Rešenje: (a) Neka je F valjana formula. Na osnovu definicije, formula F je
valjana ako i samo ako je ona tačna u svakoj interpretaciji. Dalje, formula F
je tačna u datoj interpretaciji D ako i samo ako formula ¬F nije tačna u toj
interpretaciji. Na osnovu ovoga možemo zaključiti da je formula F valjana
ako i samo ako formula ¬F nije tačna ni u jednoj interpretaiji, tj ako ¬F nije
zadovoljiva.
(b) Neka je F zadovoljiva formula. Na osnovu definicije, formula F je
zadovoljiva ako i samo ako postoji bar jedna interpretacija D u kojoj je ona
tačna. Dalje formula F je tačna u interpretaciji D ako i samo ako je formula
¬F net’acna u toj interpretaciji. Na osnovu ovoga možemo zaključiti da je
formula F zadovoljiva ako i samo ako postoji bar jedna valuacija D u kojoj
formula ¬F nije tačna, odnosno ako i samo ako formula ¬F nije valjana. u t
Zadatak 2.39. Dokazati da je izvod tautologije je valjana formula.
Rešenje: Neka predikatska formula F predstavlja izvod tautologije A, odnosno
neka je formula F dobijena iz iskazne formule A zamenom iskaznih slova
p1 , . . . , pn predikatskim formulama F1 , . . . , Fn i neka je D proizvoljna inter-
pretacija formule F i v proizvoljna valuacija interpretacije D. U datoj valuaciji
v formule F1 , . . . , Fn su tačni ili netčni iskazi, tj njihove vrednosti obrazuju
n-torku simbola > odnosno ⊥. Kada se ove vrednosti pridruže iskaznim
slovima p1 , . . . , pn dobijamo jednu valuaciju iskazne formule A, a kako je A
tautologija ona je tačna u svakoj pa i u ovoj valuaciji. Sada na osnovu defini-
cije zadovoljivosti formule F imamo da je ona tačna u valuaciji v interpretacije
D. S obzirom da je ovo proizvoljna interpretacija i njena proizvoljna valuacija
zaključujemo da je formula F tačna u svakoj interpertaciji, odnosno da je ona
valjana. u t
Zadatak 2.40. Neka je F predikatska formula. Dokazati da su sledeće formule val-
jane:
2.2. Valjanost i zadovoljivost predikatske formule 37
Rešenje: Predikatska formula je valjana ako i samo ako je ona tačna u svakoj
interpretaciji D, odnosno ako i samo ako je tačna u svakoj valuaciji v in-
terpretacije D. Iz ovog razloga, da bi dokazali da su date formule val-
jane, dokazaćemo da su one tačne u proizvoljnoj interpretaciji D i njenoj
proizvoljnoj valuaciji v.
(a) Neka je x i-ta promenljiva u formuli, D proizvoljna interpretacija
formule i v proizvoljna valuacija interpretacije D. Predikatska formula
(∀x)F ⇒ (∃x)F predstavlja implikaciju izmedju dve predikatkse formule
G = (∀x)F i H = (∃x)F. Na osnovu definicije, formula G ⇒ H je tačna u valuaciji
v interpretacije D ako i samo ako važi da ako je G tačna u v onda je i H tačna u
v. Dokazaćemo da u koliko je formula G tačna u valuaciji v onda je i formula
H tačna u valuciji v. Neka je formula G = (∀x)F tačna u valuciji v. Na osnovu
definicije ovo važi ako i samo ako je formula F tačna u svakoj vauaciji koja
se od v razlikuje najviše u i-toj komponenti. Kao posledicu ovoga imamo da
postoji bar jedna valuacija koja se od v razlikuje najviÅae ˛ u i-toj komponenti
u kojoj je formula F tačna, odnosno formula H = (∃x)F je tačna u valuaciji v.
(b) Neka je x i-ta promenljiva u formuli, D proizvoljna interpretacija i v
proizvoljna valuacija interpretacije D. Formula (∀x)¬F ⇔ ¬(∃x)F predstavlja
ekvivalenciju izmedju predikatskih formula G = (∀x)¬F i H = ¬(∃x)F. Na
osnovu definicije formula G ⇔ H je tačna u valuaciji v interpretacije D ako
i samo ako važi da je formula G tačna u v ako i samo ako je H tačna u
v. Formula G = (∀x)¬F je tačna u valuaciji v ako i samo ako je formula ¬F
tačna u svakoj valuaciji koja se od v razlikuje najviše u i-toj komponenti.
Dakle, formula G je tačna u valuaciji v ako i samo ako je formula F netačna
u svakoj valuaciji koja se od v razlikuje najviše u i-toj komponenti. Budući
da je formula (∃x)F tačna u valuaciji v ako i samo ako je formula F tačna bar
u jednoj valuaciji koja se od v razlikuje najviše u i-toj komponenti imamo da
je formula G je tačna u valuaciji v ako i samo ako je formula (∃x)F net’acna u
valuaciji v, odnosno ako i samo ako je formula H = ¬(∃x)F tačna u valuaciji
v.
(c) Neka je x i-ta promenljiva u formuli, D proizvoljna interpretacija i v
proizvoljna valuacija interpretacije D. Formula (∃x)¬F ⇔ ¬(∀x)F predstavlja
ekvivalenciju izmedju predikatskih formula G = (∃x)¬F i H = ¬(∀x)F. Na
osnovu definicije formula G ⇔ H je tačna u valuaciji v interpretacije D ako
i samo ako važi da je formula G tačna u v ako i samo ako je H tačna u v.
Formula G = (∃x)¬F je tačna u valuaciji v ako i samo ako je formula ¬F tačna
u bar jednoj valuaciji koja se od v razlikuje najviše u i-toj komponenti. Dakle,
formula G je tačna u valuaciji v ako i samo ako je formula F netačna bar
38 2 Predikatska logika
mula (∀y)F je tačna u valuaciji v1 ako i samo ako je formula F tačna u svakoj
valuaciji v2 koja se od v1 razlikuje najviše u j-toj komponenti. Pretpostavimo
sada suprotno od onga što želimo da dokažemo, tj da je formula (∀y)(∃x)F
netačna u valuaciji v. Na osnovu definicije tačnosti formule, (∀y)(∃x)F je tačna
u valuaciji v ako i samo ako je formula (∃x)F tačna u svakoj valuaciji koja se
od v razlikuje najviše u j-toj komponenti. Shodno ovome formula (∀y)(∃x)F
je netačna u valuaciji v ako i samo ako je formula (∃x)F netačna bar u jednoj
valuaciji v3 koja se od v razlikuje najviše za j-tu komponentu. Slično formula
(∃x)F, je netačna u valuaciji v3 ako i samo ako je formula F netačna u svakoj
vauaciji v4 koja se od v3 razlikuje najviše u i-toj komponenti. Medjutim tada
bi za valuaciju v5 koja se od valuacije v1 razlikuje samo u j-toj komponenti a
od valuacije v3 samo u i-toj komponenti važilo da je formula F istovremeno
i tačna i netačna, što je nemoguće. Kao posledicu ovoga imamo da je naša
pretpstavka netačna, odnosno imamo da je formula (∀y)(∃x)F tačna. u t
Zadatak 2.41. Neka su F i G predikatske formule. Dokazati da su sledeće formule
valjane:
(a) (∀x)(F ∧ G) ⇔ (∀x)F ∧ (∀x)G
(b) (∀x)F ∨ (∀x)G ⇒ (∀x)(F ∨ G)
(c) (∀x)(F ⇒ G) ⇒ ((∀x)F ⇒ (∀x)G)
(d) (∀x)(F ⇔ G) ⇒ ((∀x)F ⇔ (∀x)G)
(e) (∃x)(F ∧ G) ⇒ (∃x)F ∧ (∃x)G
(f) (∃x)(F ∨ G) ⇔ (∃x)F ∨ (∃x)G
(g) (∃x)(F ⇒ G) ⇔ ((∀x)F ⇒ (∃x)G)
Rešenje: Analogno kao u rešenju prethodnog zadatka da bi dokazali da su
date formule valjane dokazaćemo da su one tačne u proizvoljnoj interpretaciji
D i njenoj proizvoljnoj valuaciji v.
(a) Neka je x i-ta promenljiva u formuli, D proizvoljna interpretacija i v
proizvoljna valuacija interpretacije D. Formula
(∀x)(F ⇒ G) ⇔ ((∃x)F ⇒ G)
(∀x)(G ⇒ F) ⇔ (G ⇒ (∀x)F)
(∃x)(F ⇒ G) ⇔ ((∀x)F ⇒ G)
(∃x)(G ⇒ F) ⇔ (G ⇒ (∃x)F)
44 2 Predikatska logika
i predikatske formule
G = (∃x)Q(x),
i shodno tome ona je tačna u valuaciji v ako i samo ako važi da ako je
formula F tačna u valuaciji v onda je i formula G tačna u valuaciji v. Ako je
formula F tačna u valuaciji v onda su obe formule (∃x)P(x) i (∀x) (P(x) ⇒ Q(x))
tačne u valuaciji v, jer formula F predstavlja konjunkciju ove dve formule.
Formula (∀x) (P(x) ⇒ Q(x)) je tačna u valuaciji v ako i samo ako je formula
P(x) ⇒ Q(x) tačna u svakoj valuaciji koja se od valuacije v razlikuje najviše
u x komponenti, dok je formula (∃x)P(x) tačna u valuaciji v ako i samo ako
je formula P(x) tačna bar u jednoj valuaciji v0 koja se od valuacije v razlikuje
najviše u x komponenti. Kao poseldicu ovoga imamo da ako je formula
F tačna u valuaciji v onda su obe formule P(x) ⇒ Q(x) i P(x) tačne bar u
jednoj valuaciji v0 koja se od v razlikuje najviše u x komponenti. Obzirom
na to da formula P(x) ⇒ Q(x) predstavlja implikaciju izmedju formula P(x)
i Q(x), imamo da je ona tačna u valuaciji v0 ako i samo ako važi da ako je
formula P(x) tačna u valuaciji v0 onda je i formula Q(x) tačna u valuaciji v0 .
Na osnovu ovoga možemo zaključiti da ako je formula F tačna u valuaciji
v, onda je formula Q(x) tačna bar u jednoj valuaciji v0 koja se od valuacije v
razlikuje najviše u x komponenti. Drugim rečima, ako je formula F tačna u
valuaciji v onda je u valuaciji v tačna i formula G = (∃x)Q(x). u t
Zadatak 2.44. Neka su P, Q i R unarni relacijski simboli, a x i y promenljive.
Dokazati da je sledeća predikatska formula valjana:
2.2. Valjanost i zadovoljivost predikatske formule 45
(∃x)¬P(x) ∧ (∀x) (Q(x) ⇒ P(x)) ∧ (∀x)(∃y) R(y) ∨ Q(x) ⇒ (∃x)R(x)
i predikatske formule
G = (∃x)R(x).
Dakle, ona je tačna u valuaciji v ako i samo ako važi da ako je formula
F tačna u valuaciji v onda je i formula G tačna u valuaciji v. Ako je for-
mula F tačna u valuaciji
v onda su formule (∃x)¬P(x), (∀x) (Q(x) ⇒ P(x))
i (∀x)(∃y) R(y) ∨ Q(x) tačne u valuaciji v, jer formula F predstavlja kon-
junkciju ovih formula. Formula (∀x) (Q(x) ⇒ P(x)) je tačna u valuaciji v ako
i samo ako je formula Q(x) ⇒ P(x) tačna u svakoj valuaciji koja se od valu-
acije v razlikuje najviše u x komponenti, dok je formula (∃x)¬P(x) tačna u
valuaciji v ako i samo ako je formula P(x) netačna bar u jednoj valuaciji v0
koja se od valuacije v razlikuje najviše u x komponenti. Kao poseldicu ovoga
imamo da ako su formule (∃x)¬P(x) i (∀x) (Q(x) ⇒ P(x)) tačne u valuaciji
v onda su obe formule Q(x) ⇒ P(x) i ¬P(x) tačne bar u jednoj valuaciji v0
koja se od v razlikuje najviše u x komponenti. Obzirom na to da formula
Q(x) ⇒ P(x) predstavlja implikaciju izmedju formula Q(x) i P(x), imamo da
je ona tačna u valuaciji v0 ako i samo ako važi da ako je formula Q(x) tačna
u valuaciji v0 onda je i formula P(x) tačna u valuaciji v0 . Na osnovu ovoga
možemo zaključiti da u koliko su formule (∃x)¬P(x) i (∀x) (Q(x) ⇒ P(x)) tačne
u valuaciji v, onda je formula Q(x) netačna bar u jednoj valuaciji v0 koja se
od valuacije v razlikuje
najviše u x komponenti. Osim toga, ako je formula
(∀x)(∃y) R(y) ∨ Q(x) tačna u valuaciji v, onda za svaku valuaciju koja se od
v razlikuje najviše u x komponenti, a samim tim i za valuaciju v0 , formula
R(y) ∨ Q(x) je tačna bar u jednoj valuaciji v” koja se od v0 razlikuje najviše u y
komponenti. Budući da se valuacije v0 i v” ralikuju najviše u y komponenti
(ne razlikuju se u x komponenti) formula Q(x) je tačna u valuaciji v0 ako i
samo ako je ona tačna u valuaciji v”. Dakle, ako je formula F tačna u valu-
aciji v, onda postoji valuacija v0 koja se od valuacije v razlikuje najviše u x
komponenti takva da je formula R(y) tačna u bar jednoj valuaciji v” koja se
od v0 razlikuje najviše u y komponenti. Kao posledicu ovoga imamo, da u
koliko je formula F tačna u valuaciji v, onda je formula R(x) tačna u bar jednoj
valuaciji v000 koja se od v razlikuje najviše u x komponenti. Drugim rečima,
ako je formula F tačna u valuaciji v onda je u valuaciji v tačna i formula
G = (∃x)R(x). u t
Zadatak 2.45. Neka su P, Q i R unarni relacijski simboli, a x i y promenljive.
Dokazati da je sledeća predikatska formula valjana:
(∀x)(∃y) P(x) ⇒ Q(y) ∧ (∀x)(∃y) Q(x) ⇒ R(y) ⇒ (∀x)(∃y) P(x) ⇒ R(y)
46 2 Predikatska logika
Rešenje: Data formula je valjana ako i samo ako je tačna u svakoj inter-
pretaciji. Iz tog razloga uzimamo proizvoljnu interpretaciju D i dokazujemo
da je data formula tačna u toj interpretaciji. Obzirom na činjenicu da je
formula tačna u interpretaciji D ako i samo ako je tačna u svakoj valuaciji
interpretacije D, označićemo sa v proizvoljnu valuaciju interpretacije D i
dokazaćemo da je data formula tačna u valuaciji v. Bez gubitka opštosti,
pretpostavimo još da je x i-ta, y j-ta promenljiva. Data formula predstavlja
implikaciju izmedju predikatske formule
i predikatske formule
Zadatak 2.48. Neka je D = {d1 , d2 , ..., dn } konačan skup. Odrediti formule bez kvan-
tifikatora koje su ekvivalentne datim formulama u interpretaciji sa domenom D
a) (∀x)F(x) b) (∃x)F(x)
c) (∀x)(∃y)F(x, y) d) (∃x)(∀y)F(x, y)
dok je formula
(∃y) Q(b, y) ⇒ ¬Q(y, b)
u interpretaciji D = (D, φ) ekvivalentna sa formulom
((R(a, a) ⇒ R(a, b)) ∨ (R(a, a) ⇒ R(a, a)))∧((R(b, b) ⇒ R(b, b)) ∨ (R(b, b) ⇒ R(b, a)))
φ(Q) = {(a, a), (b, b), (c, c), (a, b), (a, c), (b, a), (b, c), (c, a), (c, b)}
tačna.
Rešenje: Neka je D = (D, φ) interpretacija koja ispunjava uslove zadatka. Data
formula je na osnovu zadatka 2.40. i 2.41. ekvivalentna sa formulom
(∃x) R(x) ∧ (∃y) R(y) ∧ P(x) ∧ ¬P(y) ∧ (∃z)¬P(z)
53
54 3 Skupovi
Definicija 3.5. Skup A je podskup skupa B, u oznaci A ⊆ B, ako i samo ako su svi
elementi skupa A sadržani u skupu B, odnosno
def
A ⊆ B ←→ (∀x)(x ∈ A → x ∈ B).
Definicija 3.6. Unija skupova A i B, u oznaci A∪B, je skup koji sadrži sve elemente
koji se nalaze bar u jednom od ovih skupova, odnosno:
def
A ∪ B = {x|x ∈ A ∨ x ∈ B}.
def
A \ B = {x|x ∈ A ∧ x < B}
A \ A = B \ B.
(∀x)(x ∈ A \ A ⇔ x ∈ B \ B)
valjana. Formula x ∈ A∧x < A ⇔ x ∈ B∧x < B je valjana jer predstavlja izvod iz
tautologije p ∧ ¬p ⇔ q ∧ ¬q, odakle na osnovu definicije razlike skupova sledi
56 3 Skupovi
def
x ∈ ∅ ←→ x ∈ A ∧ x < A.
def
A ∩ B = {x|x ∈ A ∧ x ∈ B}.
Drugim rečima presek supova A i B je skup koji sadrži tačno one elemente koji se
nalaze istovremeno u oba skupa.
Za skupove A i B čiji je presek prazan skup se kaže da su disjunktni. Ako je
skup B podskup skupa A, onda se razlika skupova A i B zove komplement
skupa B u odnosu na skup A i označava sa CA (B), tj.:
3.1. Operacije sa skupovima 57
def
CA (B) = A \ B = {x|x ∈ A ∧ x < B}.
def
A = {x|x < A}.
def
A = A ←→ (∀x)(x ∈ A ⇔ x ∈ A).
def
A ∪ B = B ∪ A ←→ (∀x)(x ∈ A ∪ B ⇔ x ∈ B ∪ A).
def
x ∈ A ∪ (B ∩ C) ←→ x ∈ A ∨ x ∈ B ∩ C
def
←→ x ∈ A ∨ (x ∈ B ∧ x ∈ C)
←→ (x ∈ A ∨ x ∈ B) ∧ (x ∈ A ∨ x ∈ C)
def def
←→ x ∈ A ∪ B ∧ x ∈ A ∪ C ←→ x ∈ (A ∪ B) ∩ (A ∪ C)
def
x ∈ A ∪ A ←→ x ∈ A ∨ x ∈ A ←→ x ∈ A
def
x ∈ (A ∩ B) ∪ A ←→ x ∈ A ∩ B ∨ x ∈ A
def
←→ (x ∈ A ∧ x ∈ B) ∨ x ∈ A ←→ x ∈ A
3.1. Operacije sa skupovima 61
def def
x ∈ A ∪ A ←→ x ∈ A ∨ x ∈ A ←→ x ∈ A ∨ x < A ←→ x ∈ U
S1 = (A ∩ B) ∩ C S2 = (A ∩ B) ∩ C
S3 = (A ∩ B) ∩ C S4 = (A ∩ B) ∩ C
S1 ∪ S2 ∪ S3 ∪ S4 = A
def
x ∈ A ∪ B ←→ x < A ∪ B ←→ ¬(x ∈ A ∪ B)
def
←→ ¬(x ∈ A ∨ x ∈ B) ←→ ¬x ∈ A ∧ ¬x ∈ B
←→ x < A ∧ x < B ←→ x ∈ A ∧ x ∈ B ←→ x ∈ A ∩ B
def def
x ∈ A \ B ←→ x ∈ A ∧ x < B ←→ x ∈ A ∧ x ∈ B ←→ x ∈ A ∩ B
((B ∩ C) \ A) ∪ ((A ∩ C) \ B) ∪ (A ∩ B ∩ C) =
= B ∩ C ∩ A ∪ A ∩ C ∩ B ∪ (A ∩ B ∩ C) =
= A ∩ B ∩ C ∪ (A ∩ B ∩ C) ∪ A ∩ C ∩ B =
= A ∪ A ∩ (B ∩ C) ∪ A ∩ C ∩ B =
= (U ∩ (B ∩ C)) ∪ A ∩ C ∩ B =
= (B ∩ C) ∪ A ∩ B ∩ C =
= B∪ A∩B ∩C =
= (B ∪ A) ∩ B ∪ B ∩ C =
= ((B ∪ A) ∩ U) ∩ C = (B ∪ A) ∩ C
(B \ (A ∪ C)) ∪ ((A ∩ B) \ C) ∪ (A ∩ B ∩ C) =
= B ∩ (A ∪ C) ∪ A ∩ B ∩ C ∪ (A ∩ B ∩ C) =
= B ∩ A ∩ C ∪ (A ∩ B) ∩ C ∪ C =
= B ∩ A ∩ C ∪ ((A ∩ B) ∩ U) =
= B ∩ A ∩ C ∪ (B ∩ A) =
= B∩ A∩C ∪A =
= B∩ A∪A ∩ C∪A =
= B∩ U∩ C∪A =
= B ∩ C ∪ A = B ∩ (A \ C)
X ∪ Y = (X ∩ Y) ∪ Y = Y
X ∩ Y = (X ∪ Y) ∩ X = X.
B \ (B \ A) = B ∩ A = A ∩ B = A \ (A \ B)
(e) Na osnovu jednakosti (a) ovog zadatka, definicije praznog skupa i jed-
nakosti (d) i zadatka 3.57. imamo
3.1. Operacije sa skupovima 71
A \ (A ∩ B) = (A \ A) ∪ (A \ B) = ∅ ∪ (A \ B) = A \ B
(b) Skup A je podskup skupa B ako i samo ako su svi elementi skupa A
sadržani u skupu B. Na osnovu definicije, unija skupova A i C sadrži sve one
elemente koji se nalaze bar u jednom od skupova A i C. Kao posledicu ovoga,
imamo da su svi elementi skupa A ∪ C sadržani bar u jednom od skupova B
i C, odnosno A ∪ C ⊆ B ∪ C.
(c) Slično kao u dokazu dela (b), skup A je podskup skupa B ako i samo
ako su svi elementi skupa A sadržani u skupu B. Pored toga, na osnovu
definicije, presek skupova A i C sadrži sve one elemente koji su sadržani i u
skupu A i u skupu C. Dakle, svi elementi skupa A ∩ C su sadržani i u skupu
B i u skupu C, odnosno A ∩ C ⊆ B ∩ C.
(d)Slično dokazu dela (a) i (c)
(e) Pretpostavimo da važi A ∩ B ⊆ C. Tada na osnovu distributivnosti pre-
seka u odnosu na uniju, distributivnosti unije u odnosu na presek, jednakosti
(a) i (e) iz zadatka 3.57. i tvrdjenja (b) ovog zadatka imamo
A = A ∩ U = A ∩ B ∪ B = (A ∩ B) ∪ A ∩ B ⊆ C ∪ A ∩ B = (C ∪ A) ∩ C ∪ B
Ovime smo dokazali da je skup A podskup skupa (C ∪ A) ∩ C ∪ B , tj. da su
svi elementi
skupa
A sadržani u preseku skupova C ∪ A i C ∪ B. Na osnovu
(C ∪ A) ∩ C ∪ B ⊆ C ∪ B i tvrdjenja (f) iz zadatka 3.55. onda imamo da važi
A ⊆ C ∪ B.
Obratno, neka je A ⊆ C ∪ B. Tada na onovu tvrdjenja (c), distributivnosti
preseka u odnosu na uniju, kao i jednakosti (b) i (d) iz zadatka 3.57. važi
A ∩ B ⊆ C ∪ B ∩ B = (C ∩ B) ∪ B ∩ B = (C ∩ B) ∪ ∅ = C ∩ B ⊆ C
A 4 B = (A \ B) ∪ (B \ A).
3.2. Simetrična razlika skupova i partitivni skup 73
(A 4 B) 4 C = ((A 4 B) ∪ C) \ ((A 4 B) ∩ C) =
= (((A ∪ B) \ (A ∩ B)) ∪ C) \ (((A \ B) ∪ (B \ A)) ∩ C) =
= (A ∪ B) ∩ (A ∩ B) ∪ C \ A ∩ B ∪ B ∩ A ∩ C =
= (A ∪ B) ∩ A ∪ B ∪ C \ A ∩ B ∩ C ∪ B ∩ A ∩ C =
= ((A ∪ B) ∪ C) ∩ A ∪ B ∪ C \ A ∩ B ∩ C ∪ B ∩ A ∩ C =
= (A ∪ (B ∪ C)) ∩ A ∪ B ∪ C ∩ A ∩ B ∩ C ∪ B ∩ A ∩ C =
= (A ∪ (B ∪ C)) ∩ A ∪ B ∪ C ∩ A ∩ B ∩ C ∩ B ∩ A ∩ C =
= (A ∪ (B ∪ C)) ∩ A ∪ B ∪ C ∩ A ∩ B ∪ C ∩ B ∩ A ∪ C =
3.2. Simetrična razlika skupova i partitivni skup 75
= (A ∪ (B ∪ C)) ∩ A ∪ B ∪ C ∩ A ∪ B ∪ C ∩ B ∪ A ∪ C =
= (A ∪ (B ∪ C)) ∩ A ∪ B ∪ C ∩ A ∪ B ∪ C ∩ A ∪ B ∪ C =
= (A ∪ (B ∪ C)) ∩ A ∪ B ∪ C ∩ A ∪ B ∪ C ∩ A ∪ B ∪ C =
= (A ∪ (B ∪ C)) ∩ A ∪ ∩ C) ∩ A ∪ B ∩ C ∩ A ∪ B ∪ C =
(B
= A ∪ (B ∪ C) ∩ (B ∩ C) ∩ A ∩ B ∩ C ∩ A ∩ B ∪ C =
= (A ∪ ((B ∪ C) \ (B ∩ C))) ∩ A ∩ B ∩ C ∪ A ∩ B ∪ C =
= (A ∪ (B 4 C)) \ A ∩ B ∩ C ∪ A ∩ B ∪ C =
= (A ∪ (B 4 C)) \ A ∩ B ∩ C ∪ B ∪ C =
A 4 ∅ = (A \ ∅) ∪ (∅ \ A) = A ∪ ∅ = A
(A 4 B) 4 (A ∩ B) = (B 4 A) 4 (A ∩ B) = B 4 (A 4 (A ∩ B)) = B 4 (A \ B) =
= (B ∪ (A \ B)) \ (B ∩ (A \ B)) = (B ∪ (A \ B)) \ ∅ = B ∪ (A \ B) =
= B ∪ A ∩ B = (B ∪ A) ∩ B ∪ B = (B ∪ A) ∩ U = B ∪ A = A ∪ B
t
u
Zadatak 3.67. Neka su A, B i C podskupovi skupa U.Dokazati da su sledeći uslovi
ekvivalentni:
a) A 4 B = C b) B 4 C = A c) C 4 A = B
B 4 C = B 4 (A 4 B) = B 4 (B 4 A) = (B 4 B) 4 A = ∅ 4 A = A 4 ∅ = A
Slično ako je B 4 C = A, onda na osnovu jednakosti (a), (b), (c) i (d) iz zadatka
3.66. imamo
A 4 B = (B 4 C) 4 B = (C 4 B) 4 B = C 4 (B 4 B) = C 4 ∅ = C
(B ∩ (A 4 C)) ∪ (C \ B) = ∅
U zadatku 3.64.(g) je dokazano da je unija dva skupa prazan skup ako i samo
ako su ta dva skupa prazna, dakle (B ∩ A) ∩ C = ∅ i (B ∩ C) ∩ A = ∅. Ponovnim
korišćenjem zadatka 3.62. dobijamo B ∩ A ⊆ C i B ∩ C ⊆ A. Iz inkluzija B ∩ A ⊆
C, B ∩ C ⊆ A i C ⊆ B se jednostavno dokazuje da važi A ∩ B = C. u t
Zadatak 3.69. Neka su A i B proizvoljni skupovi. Dokazati da važi:
a) P(A) ∩ P(B) = P(A ∩ B) b) P(A) ∪ P(B) ⊆ P(A ∪ B)
Rešenje: (a) Budući da skupovi P(A ∩ B) i P(A) ∩ P(B) predstavljaju partitivne
skupove odnosno presek partitivnih skupova, da bi dokazali jednakost ovih
skupova potrebno je da dokažemo da važi
Dvočlani skup, par, ili neuredjeni par je skup čiji su jedini elementi a i b, i
označava se sa {a, b}. Drugim rečima,
def
x ∈ {a, b} ←→ x = a ∨ x = b
Kod dvočlanog skupa ili neuredjenog para {a, b} nije bitan redosled po kome
beležimo elemente a i b, odnosno važi:
78 3 Skupovi
zbog čega se ovaj skup i zove neuredjeni par. Iz ovog razloga uvodimo pojam
uredjenog para, kod koga je taj redosled bitan.
Definicija 3.11. Uredjeni par sa komponentama a i b, u oznaci (a, b), definiše se na
sledeći način:
def
(a, b) = {{a}, {a, b}}.
Komponente a i b se nazivaju prva i druga koordinata tog uredjenog para.
Tvrdjenje 3.6. Neka su (a, b) i (c, d) uredjeni parovi. Tada važi:
Dokaz: Neka je (a, b) = (c, d), onda na osnovu definicije uredjenog para imamo
Ako su prva i druga kordinata uredjenog para (a, b) jednake, odnosno ako je
a = b, tada je
što znači da je
{{a}} = {{c}} = {{c, d}},
odakle se jednostavno dokazuje da važi a = b = c = d.
Ako su prva i druga kordinata uredjenog para (a, b) različite , odnosno
ako je a , b, onda su skupovi {a} i {a, b} takodje različiti jer jedan sadrži tačno
jedan a drugi tačno dva elementa. Kao posledicu ovoga imamo da su tada
skupovi {c} i {c, d} takodje različiti. Takodje na osnovu
dobija {c, d} = {a, b}. Kako je d , c = a i d ∈ {c, d} = {a, b}, zaključujemo da mora
biti d = b.
Obratno, ako je a = c i b = d, onda je očigledno {a} = {c} i {a, b} = {c, d},
odnosno (a, b) = (c, d). u t
Kao direktnu posledicu gornjeg tvrdjenja imamo da je
def
(x, y) ∈ (A ∪ B) × C ←→ x ∈ A ∪ B ∧ y ∈ C
def
←→ (x ∈ A ∨ x ∈ B) ∧ y ∈ C
←→ x ∈ A ∧ y ∈ C ∨ x ∈ B ∧ y ∈ C
def
←→ (x, y) ∈ A × C ∨ (x, y) ∈ B × C
def
←→ (x, y) ∈ (A × C) ∪ (B × C)
def
(x, y) ∈ (A ∩ B) × C ←→ x ∈ A ∩ B ∧ y ∈ C
def
←→ (x ∈ A ∧ x ∈ B) ∧ y ∈ C
←→ (x ∈ A ∧ x ∈ B) ∧ y ∈ C ∧ y ∈ C
←→ x ∈ A ∧ y ∈ C ∧ x ∈ B ∧ y ∈ C
def
←→ (x, y) ∈ A × C ∧ (x, y) ∈ B × C
def
←→ (x, y) ∈ (A × C) ∩ (B × C)
def
(x, y) ∈ (A \ B) × C ←→ x ∈ A \ B ∧ y ∈ C
def
←→ (x ∈ A ∧ x < B) ∧ y ∈ C
←→ (x ∈ A ∧ x < B) ∧ y ∈ C ∨ ⊥
←→ (x ∈ A ∧ x < B) ∧ y ∈ C ∨ (x ∈ A ∧ ⊥)
←→ (x ∈ A ∧ x < B) ∧ y ∈ C ∨ x ∈ A ∧ (y ∈ C ∧ y < C)
←→ x ∈ A ∧ y ∈ C ∧ x < B ∨ x ∈ A ∧ y ∈ C ∧ y < C
←→ x ∈ A ∧ y ∈ C ∧ x < B ∨ y < C
←→ x ∈ A ∧ y ∈ C ∧ ¬ x ∈ B ∧ y ∈ C
def
←→ (x, y) ∈ A × C ∧ ¬(x, y) ∈ B × C
def
←→ (x, y) ∈ A × C ∧ (x, y) < B × C
def
←→ (x, y) ∈ (A × C) \ (B × C)
(A ∪ B) × (C ∪ D) = ((A ∪ B) × C) ∪ ((A ∪ B) × D)
= ((A × C) ∪ (B × C)) ∪ ((A × D) ∪ (B × D))
= (A × C) ∪ (A × D) ∪ (B × C) ∪ (B × D)
def
(x, y) ∈ (A ∩ B) × (C ∩ D) ←→ x ∈ A ∩ B ∧ y ∈ C ∩ D
def
←→ (x ∈ A ∧ x ∈ B) ∧ y ∈ C ∧ y ∈ D
←→ x ∈ A ∧ y ∈ C ∧ x ∈ B ∧ y ∈ D
def
←→ (x, y) ∈ A × C ∧ (x, y) ∈ B × D
def
←→ (x, y) ∈ (A × C) ∪ (B × D)
(A × B) ∪ (B × A) = C × D,
M = {a ∈ A | (∃b ∈ B)(a, b) ∈ C}
N = {b ∈ B | (∃a ∈ A)(a, b) ∈ C}
Pojam relacije usko je povezan sa pojmom skupa iz razloga što relacije pred-
stavljaju specijalne vrste skupova, odnosno relacije su podskupovi Dekar-
tovog proizvoda skupova.
Definicija 4.13. Binarna relacija na nepraznom skupu A je bilo koji podskup Dekar-
tovog proizvoda A × A, skupa A sa samim sobom.
Za binarnu relaciju α na skupu A ako je (x, y) ∈ α, kažemo da je x u relaciji α
sa y. Često umesto (x, y) ∈ α pišemo xαy.
Slično pojmu binarne relacije, za bilo koji prirodan broj n uvodimo pojam
n-arne relacije na nepraznom skupu A.
Definicija 4.14. Relacija arnosti n na nepraznom skupu A, odnosno n-arna relacija
na A je bilo koji podskup Dekartovog stepena An .
Broj n se naziva arnost relacije.
Relacije arnosti 1, 2 odnosno 3 nazivamo respektivno unarne, binarne
odnosno ternarne relacije. U matematici se najčešće radi sa binarnim relaci-
jama. Iz ovog razloga, jednostavnosti radi, umesto binarna relacija mi govo-
rimo kraće samo relacija.
Prazna relacija definiše se kao prazan podskup od A2 . Puna ili univerzalna
relacija definiše se kao ceo skup A2 i označava sa 5. Relacija jednakosti na
skupu A naziva se često i dijagonalna relacija ili dijagonala i označava se sa
4 Drugim rečima, dijagonalna relacija na skupu A je relacija označena se 4
definisana
def
4 = {(x, x)|x ∈ A}
Na osnovu definicije binarne relacije, vidimo da je binarna relacija zapravo
specijalna vrsta skupa, pa shodno ovome i za relacije kao i za skupove
85
86 4 Relacije
def
ρ ∪ θ = {(a, b) ∈ A × A|(a, b) ∈ ρ ∨ (a, b) ∈ θ}.
def
ρ ∩ θ = {(a, b) ∈ A × A|(a, b) ∈ ρ ∧ (a, b) ∈ θ}.
def
ρ = {(a, b) ∈ A × A|(a, b) < ρ}.
4.1. Operacije sa relacijama 87
def
ρ = θ ←→ ∀(x, y) ∈ A × A (x, y) ∈ ρ ⇔ (x, y) ∈ θ
def
ρ ⊆ θ ←→ ∀(x, y) ∈ A × A (x, y) ∈ ρ → (x, y) ∈ θ
def
ρ ◦ θ = {(a, b) ∈ A × A|(∃c ∈ A) (a, c) ∈ ρ ∧ (c, b) ∈ θ }
α = {(x, y) ∈ A × A | x deli y}
β = {(x, y) ∈ A × A | x + y < 5}
γ = {(x, y) ∈ A × A | x + y = 6}
α = {(1, 1), (1, 2), (1, 3), (1, 4), (1, 5), (2, 2), (2, 4), (3, 3), (4, 4), (5, 5)}
β = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (3, 1)}
γ = {(1, 5), (2, 4), (3, 3), (4, 2), (5, 1)}
Budući da inverzna relacija date relacije sadrži sve one parove (a, b) za koje
važi da su parovi (b, a) u datoj relaciji. Dakle
α−1 = {(1, 1), (2, 1), (3, 1), (4, 1), (5, 1), (2, 2), (4, 2), (3, 3), (4, 4), (5, 5)}
β−1 = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (3, 1)} = β
γ−1 = {(1, 5), (2, 4), (3, 3), (4, 2), (5, 1)} = γ
α ◦ β = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (3, 1)}
γ−1
◦ β−1 = {(3, 1), (4, 1), (4, 2), (5, 1), (5, 2), (5, 3)}
α ∩ β−1 = {(1, 1), (1, 2), (1, 3), (2, 2)}
β−1 ◦ γ = {(1, 5), (1, 4), (1, 3), (2, 5), (2, 4), (3, 5)}
(α ∩ β−1 ) ◦ γ = {(1, 5), (1, 4), (1, 3), (2, 4)}
(β−1 ◦ γ) ◦ α = {(1, 5), (1, 4), (1, 3), (2, 5), (2, 4), (3, 5)}
t
u
Zadatak 4.76. Dokazati da za proizvoljnu relaciju α na skupu A važi:
4.1. Operacije sa relacijama 89
a) α ◦ 4 = α b) 4 ◦ α = α
def
(a, b) ∈ α ◦ (β ◦ γ) ←→ (∃c) (a, c) ∈ α ∧ (c, b) ∈ β ◦ γ
def
←→ (∃c) (a, c) ∈ α ∧ (∃d) (c, d) ∈ β ∧ (d, b) ∈ γ
def
←→ (∃d) (a, d) ∈ α ◦ β ∧ (d, b) ∈ γ
def
←→ (a, b) ∈ (α ◦ β) ◦ γ
def
(a, b) ∈ α ◦ (β ∪ γ) ←→ (∃c) (a, c) ∈ α ∧ (c, b) ∈ β ∪ γ
def
←→ (∃c) (a, c) ∈ α ∧ (c, b) ∈ β ∨ (c, b) ∈ γ
def
←→ (a, b) ∈ α ◦ β ∨ (a, b) ∈ α ◦ γ
def
←→ (a, b) ∈ (α ◦ β) ∪ (α ◦ γ)
def
(a, b) ∈ α ◦ (β ∩ γ) ←→ (∃c) (a, c) ∈ α ∧ (c, b) ∈ β ∩ γ
def
←→ (∃c) (a, c) ∈ α ∧ (c, b) ∈ β ∧ (c, b) ∈ γ
def
←→ (a, b) ∈ α ◦ β ∧ (a, b) ∈ α ◦ γ
def
←→ (a, b) ∈ (α ◦ β) ∩ (α ◦ γ)
def def
(a, b) ∈ (α ∪ β)−1 ←→ (b, a) ∈ α ∪ β ←→ (b, a) ∈ α ∨ (b, a) ∈ β
def def
←→ (a, b) ∈ α−1 ∨ (a, b) ∈ β−1 ←→ (a, b) ∈ α−1 ∪ β−1
def def
(a, b) ∈ (α ∪ β)−1 ←→ (b, a) ∈ α ∩ β ←→ (b, a) ∈ α ∧ (b, a) ∈ β
def def
←→ (a, b) ∈ α−1 ∧ (a, b) ∈ β−1 ←→ (a, b) ∈ α−1 ∩ β−1
def def
(a, b) ∈ (α ◦ β)−1 ←→ (b, a) ∈ α ◦ β ←→ (∃c) (b, c) ∈ α ∧ (c, a) ∈ β
def
←→ (∃c) (c, b) ∈ α−1 ∧ (a, c) ∈ β−1
←→ (∃c) (a, c) ∈ β−1 ∧ (c, b) ∈ α−1 ←→ (a, b) ∈ β−1 ◦ α−1
def def
(a, b) ∈ (α−1 )−1 ←→ (b, a) ∈ α−1 ←→ (a, b) ∈ α
α ∩ (γ ◦ β) = (α ∩ γ) ◦ β
α ◦ (β ∩ γ) = (α ◦ β) ∩ (α ◦ γ).
(x, x) ∈ ρ.
Drugim rečima, relacija ρ je refleksivna ako i samo ako sadrži dijagonalu, tj.
4 ⊆ ρ.
Definicija 4.18. Relacija ρ na skupu A je simetrična ako za sve x, y ∈ A važi
(x, y) ∈ ρ → (y, x) ∈ ρ.
(x, y) ∈ ρ ∧ (y, x) ∈ ρ → x = y.
def
Πρ = {[a]ρ |a ∈ A}
def
(a, b) ∈ ρΠ ←→ (∃i ∈ I)(a, b ∈ Ai ),
ako i samo ako a i b pripadaju istoj klasi ekvivalencije relacije ρ, a ovo važi
ako i samo ako su a i b u relaciji ρ. Ovim je dokazan prvi deo tvrdjenja.
Neka je sada Π particija skupa A i ρΠ odgovarajuća relacija ekvivalencije.
Tada proizvoljnu klasu particije A/ρΠ čine oni elementi iz skupa A koji su u
relaciji ρΠ , što je na osnovu definicije relacije ρΠ ekvivalentno sa tim da su
isti elementi u jednom bloku particije Π. u t
(x, y) ∈ ρ ∨ (y, x) ∈ ρ.
U tom slučaju, par (A, ρ) se naziva linearno uredjen skup, totalno uredjen
skup ili lanac. Drugim rečima, uredjeni skup je linearno uredjen ako su svaka
dva njegova elementa uporediva. U opštem slučaju, dva elementa uredjenog
skupa mogu biti i neuporedivi, zbog čega se, kako je ranije pomenuto, ure-
98 4 Relacije
α = α−1 jer je relcija α simetrična, dobijamo α ⊆ α ◦ α−1 . Dakle svaki par eleme-
nata skupa A koji je u relaciji α je takodje i u relaciji α ◦ α−1 , pa samim tim i u
relaciji δ ∪ α ◦ α−1 . S druge strane, s obzirom da je relacija α tranzitivna važi
α ◦ α ⊆ α, odakle na osnovu simetričnosti relacije α sledi α ◦ α−1 ⊆ α. Kako
je relacija
α refleksivna imamo 4 ⊆ α, što zajedno sa α ◦ α−1 ⊆ α implicira
4 ∪ α ◦ α−1 ⊆ α.
Obratno, neka važi
α = 4 ∪ α ◦ α−1 ,
(α ∩ β) ◦ (α ∩ β) = (α ∩ β) ◦ α ∩ (α ∩ β) ◦ β = (α ◦ α) ∩ (β ◦ α) ∩ (α ◦ β) ∩ (β ◦ β)
Kao posledicu ovoga imamo da proizvoljan par elementa koji pripada kom-
poziciji relacija α ∩ β i α ∩ β pripada preseku relacija α ◦ α i β ◦ β. Ako su
relacije α i β tranzitivne, onda je α ◦ α ⊆ α i β ◦ β ⊆ β, odakle zaključujemo da
je (α ∩ β) ◦ (α ∩ β) ⊆ α ∩ β, tj. da je relacija α ∩ β tranzitivna. u
t
Zadatak 4.89. Neka su α i β relacije ekvivalencije na skupu A. Dokazati da je α ∪ β
relacija ekvivalencije na skupu A ako i samo ako važi α ∪ β = α ◦ β.
4.2. Osobine relacija 101
(α ∪ β) ◦ (α ∪ β) = (α ∪ β) ◦ α ∪ (α ∪ β) ◦ β = (α ◦ α) ∪ (β ◦ α) ∪ (α ◦ β) ∪ (β ◦ β)
(α ◦ β) ◦ (α ◦ β) = α ◦ (β ◦ α) ◦ β = α ◦ (α ◦ β) ◦ β = (α ◦ α) ◦ (β ◦ β) ⊆ α ◦ β
(α ◦ β) ◦ (α ◦ β) = α ◦ (β ◦ α) ◦ β = α ◦ (α ◦ β) ◦ β = (α ◦ α) ◦ (β ◦ β)
(α ∩ β) ◦ (α ∩ β) ⊆ (α ∩ β) ◦ α ∩ (α ∩ β) ◦ β ⊆ (α ◦ α) ∩ (β ◦ α) ∩ (α ◦ β) ∩ (β ◦ β)
(b) Relacija β nije refleksivna jer postoji element u skupu A koji nije u
relaciji α sa samim sobom, na primer za element 4 ∈ A važi (4, 4) ∈ β. Medjutim
relacija β je simetrična jer ne postoje elementi a i b iz skupa A za koje važi
(a, b) ∈ β i (b, a) < β. Relacija β je takodje antisimetrična jer ne postoje ni jedan
par različitih elementata koji su u relaciji β. Slično relacija β je tranzitivna jer
ne postoje elementi a, b i c iz skupa A za koje važi (a, b) ∈ β, (b, c) ∈ β i (a, c) < β.
(c) Relacija γ nije refleksivna jer par (1, 1) ne pripada relaciji γ. Osim toga, γ
nije ni simetrična jer važi (1, 2) ∈ γ i (2, 1) < γ. Ova relacija je antisimetrična jer
ne postoje različiti elementi a i b iz skupa A za koje važi da su oba para (a, b)
i (b, a) u relaciji α. Relacija γ nije tranzitivna jer parovi (2, 4) i (4, 5) pripadaju,
dok par (2, 5) ne pripada relaciji γ.
(d) Za relaciju ρ osim refleksivnosti važe iste osobine i uz ista obrazloženja
kao i za relaciju β. Relacija ρ je za razliku od relacije β uz ovo i refleksivna,
jer za svaki element a ∈ A važi (a, a) ∈ ρ
(e) Relacija θ jeste refleksivna jer sadrži sve uredjene parove, pa i sve
parove oblika (a, a), a ∈ A. Takodje relacija θ je simetrična jer sadršve parove
elemenata iz skupa A, tj. za svaka dva elementa a i b iz skupa A relacija
θ sadrži parove (a, b) i (b, a). Slično, relacija θ je tranzitivna jer za svaka tri
elementa a, b i c iz skupa A važi (a, b) ∈ θ, (b, c) ∈ θ i (a, c) ∈ θ. Medjutim ova
relacija nije antisimetrična jer važi (3, 4) ∈ θ i (4, 3) ∈ θ. u t
Zadatak 4.101. Neka je α relacija na skupu A. Dokazati da je α relacija ekvivalencije
ako i samo ako je α refleksivna i važi
def
pr1 f = {a ∈ A | (∃b ∈ B) (a, b) ∈ f }.
107
108 5 Funkcije
def
f = 1 ←→ A = C ∧ B = D ∧ (∀x ∈ A)( f (x) = 1(x)).
110 5 Funkcije
f ◦ 1 = {(1, 5), (2, 1), (2, 6), (3, 6), (4, 1), (4, 6)}
ili ekvivalentno
(∀a1 , a2 ∈ A) f (a1 ) = f (a2 ) → a1 = a2
ili ekvivalentno
f (A) = B
f ◦ f −1 = IA i f −1 ◦ f = IB
f ◦ 1 = IA i 1 ◦ f = IB
f ◦ 11 = IA i 11 ◦ f = IB
f ◦ 12 = IA i 12 ◦ f = IB
11 = 11 ◦ IA = 11 ◦ ( f ◦ 12 ) = (11 ◦ f ) ◦ 12 = IB ◦ 12 = 12
f (C ∪ D) = f (C) ∪ f (D)
f (C ∩ D) ⊆ f (C) ∩ f (D)
f −1 (C ∩ D) = f −1 (C) ∩ f −1 (D)
f −1 (C ∪ D) = f −1 (C) ∪ f −1 (D)
f −1 (C \ D) = f −1 (C) \ f −1 (D)
f (C ∩ D) = f (C) ∩ f (D)
što implicira da je skup f ({a1 } ∩ {a2 }) neprazan. Budući da je skup f ({a1 } ∩ {a2 })
slika skupa {a1 } ∩ {a2 }, sledi da skup {a1 } ∩ {a2 } takodje mora biti neprazan,
odnosno da su elementi a1 i a2 jednaki. Drugim rečima f je injektivno pres-
likavanje. u t
Zadatak 5.123. Neka je f preslikavanje iz skupa A u skup B. Dokazati da je f
injektivno preslikavanje ako i samo ako za svaki podskup C skupa A važi
f (A \ C) ⊆ B \ f (C)
B \ f (C) ⊆ f (A \ C)
i b < f (C), tj. b pripada skupu B i b nije slika nijednog elementa skupa C. Na
osnovu sirjektivnosti preslikavanja f sledi da postoji element a ∈ A takav da
je f (a) = b. Kako b nije slika nijednog elementa iz skupa C imamo a ∈ A \ C, tj.
b ∈ f (A \ C).
Obratno, pretpostavimo da za svaki podskup C skupa A važi B \ f (C) ⊆
f (A\C). S obzirom da je prazan skup podskup skupa A za njega važi inkluzija
B\ f (∅) ⊆ f (A\ ∅), tj. važi B ⊆ f (A). Ako je b proizvoljan element skupa B, onda
na osnovu B ⊆ f (A) sledi da je b ∈ f (A), odnosno da postoji a ∈ A takav da je
b = f (a). Dakle preslikavanje f je sirjektivno. u t
Zadatak 5.125. Neka je f preslikavanje iz skupa A u skup B. Dokazati da je f
bijekcija ako i samo ako za svaki podskup C skupa A važi
f C = f (C)
(∀1, h : C → A) 1 ◦ f = h ◦ f ⇒ 1 = h
(∀1, h : B → C) f ◦ 1 = f ◦ h ⇒ 1 = h
nekim svojim pravim podskupom. Ako skup nije beskonačan, onda kažemo
da je on konačan.
Za neki skup A kažemo da je prebrojiv ako je ili konačan, ili je ekviva-
lentan skupu N prirodnih brojeva. Pri tome skupove ekvivalentne skupu
N prirodnih brojeva nazivamo prebrojivo beskonačnim. Skupove koji nisu
prebrojivi nazivamo neprebrojivim skupovima.
C1 = f −1 ( f (C1 ) = f −1 ( f (C2 ) = C2
1(C) = f ( f −1 (D)) = D,
F(1) = 1 ◦ f
F(h ◦ f −1 ) = (h ◦ f −1 ) ◦ f = h ◦ ( f −1 ◦ f ) = h ◦ IB = h
129
130 Literatura