prezentacija (prva verzija, moguće greške)

Logika prvog reda Zapisivanje recenica

Logika prvog reda. Zapisivanje recenica.

Danijela Petrovic

May 3, 2016

Logika prvog reda

Osnovna novina u odnosu na iskaznu logiku – uvo�enjeegzistencijalnog i univerzalnog kvantifikatora.

NIJE ODLUCIVO – da li je formula valjana

POLUODLUCIVO – moze da se pokaze da je formulavaljana

Ne moze za svaku formulu koja NIJE valjana da se pokaze daNIJE valjana

Logika prvog reda

Logicki deo jezika prvog reda cineprebrojiv skup promenljivih

veznici: ¬,∧,∨,⇒,⇔kvantifikatori: ∀, ∃logicke konstante: > i ⊥pomocni simboli: {, }, (, )

veznici: ¬,∧,∨,⇒,⇔

kvantifikatori: ∀, ∃logicke konstante: > i ⊥pomocni simboli: {, }, (, )

veznici: ¬,∧,∨,⇒,⇔kvantifikatori: ∀, ∃

logicke konstante: > i ⊥pomocni simboli: {, }, (, )

veznici: ¬,∧,∨,⇒,⇔kvantifikatori: ∀, ∃logicke konstante: > i ⊥

pomocni simboli: {, }, (, )

veznici: ¬,∧,∨,⇒,⇔kvantifikatori: ∀, ∃logicke konstante: > i ⊥pomocni simboli: {, }, (, )

L(Π,Σ, ar) – recnik ili signatura

Π – predikatski simboli

Σ – funkcijski simboli

ar – funkcija arnosti za predikatske i funkcijske simbole

konstanta – funkcijski simbol arnosti 0

Termovi nad signaturom L(Π,Σ, ar)

svaki simbol konstante je term

svaki simbol promenljive je term

ako je f funkcijski simbol, arnosti k i t1, . . . tk su termovi,onda je i f (t1, . . . , tk) tako�e term

term se moze dobiti samo primenom prethodnih pravila

Atomicka formula nad L(Π,Σ, ar)

> i ⊥

ako je p predikatski simbol i ar(p) = k i t1, . . . tk su termovi,onda je i p(t1, . . . , tk) tako�e atomicka formula

atomicka formula se moze dobiti samo primenom prethodnihpravila

> i ⊥ako je p predikatski simbol i ar(p) = k i t1, . . . tk su termovi,onda je i p(t1, . . . , tk) tako�e atomicka formula

Skup dobro zasnovanih formula nad L(Π,Σ, ar)

atomicka formula

ako su A i B dobro zasnovane formule, onda su i ¬A, A ∧ B,A ∨ B, A ⇒ B, A ⇔ Bako je A dobro zasnovana formula i x promeljiva, onda su((∃x)A) i ((∀x)A) dobro zasnovane formule

dobro zasnovane formule se mogu dobiti samo primenomprethodnih pravila

atomicka formula

ako su A i B dobro zasnovane formule, onda su i ¬A, A ∧ B,A ∨ B, A ⇒ B, A ⇔ B

ako je A dobro zasnovana formula i x promeljiva, onda su((∃x)A) i ((∀x)A) dobro zasnovane formule

atomicka formula

Bazni term – term koji ne sadrzi ni jednu promeljivu

Bazna formula – formula koja ne sadrzi ni jednu promenljivu

Literal – atomicka formula ili negacija atomicke formule

Klauza – disjunkcija literala

Slobodno i vezano pojavljivanje promenljive u formulisvako pojavljivanje promenljive u atomickoj formuli jeslobodno u toj formuli

svako pojavljivanje promenljive koja je slobodna u A,slobodno je i u ¬A;svako pojavljivanje promenljive koja je vezana u A, vezana je iu ¬A;

svako pojavljivanje promenljive koja je slobodna u A i B,slobodno je i u A ∧ B, A ∨ B, A ⇒ B, A ⇔ B;svako pojavljivanje promenljive koja je vezana u A ili B,vezano je i u A ∧ B, A ∨ B, A ⇒ B, A ⇔ B;

svako slobodno pojavljivanje promenljive razlicite od x uformuli A je tako�e slobodno u formuli (∀x)A;svako slobodno pojavljivanje promenljive x u A je vezano(vo�enim kvantifikatorom) u (∀x)A;analogno za egzistencijalni kvantifikator.

Promenljiva je vezana (slobodna) u formuli ako ima vezano(slobodno) pojavljivanje u toj formuli.

zatvorena formula – formula bez slobodnih promenljivih

univerzalno zatvorena – ako je oblika (∀x1) . . . (∀xn)A i A nesadrzi kvantifikatore, ni slobodne promenljive

egzistencijalno zatvorena – ako je oblika (∃x1) . . . (∃xn)A i Ane sadrzi kvantifikatore, ni slobodne promenljive

Zadatak 1Mozete lagati neke ljude sve vreme i mozete lagati sve ljude nekovreme, ali ne mozete lagati sve ljude sve vreme.

p(x , y) – mozete lagati x u vremenu yΠ = {p}Σ = {}ar(p) = 2

(∃x)(∀y)p(x , y)

(∃x)(∀y)p(x , y)∧

(∃x)(∀y)p(x , y) ∧ (∀x)(∃y)p(x , y)

(∃x)(∀y)p(x , y) ∧ (∀x)(∃y)p(x , y)∧

(∃x)(∀y)p(x , y) ∧ (∀x)(∃y)p(x , y) ∧ ¬[(∀x)(∀y)p(x , y)]

Zadatak 2Svako voli nekog i niko ne voli svakog ili neko voli svakog i niko nevoli nikoga.

p(x , y) – x voli yΠ = {p}Σ = {}ar(p) = 2

p(x , y) – x voli y(∀x)(∃y)p(x , y)

p(x , y) – x voli y(∀x)(∃y)p(x , y)∧

Pitanje smisla – niko i dvostruka negacija, mozda prevesti naengleski”there is no person that loves everybody”niko – ni jedna osoba, ne postoji soba”ne vazi da postoji osoba tako da voli svakog”ili”za svaku osobu postoji osoba takva da je ne voli”p(x , y) – x voli y((∀x)(∃y)p(x , y) ∧ ¬[(∃x)(∀y)p(x , y)]

p(x , y) – x voli y(((∀x)(∃y)p(x , y) ∧ ¬[(∃x)(∀y)p(x , y)])∨

p(x , y) – x voli y(((∀x)(∃y)p(x , y) ∧ ¬[(∃x)(∀y)p(x , y)]) ∨ ((∃x)(∀y)p(x , y))

Pitanje smisla – trostruka negacijada li znaci – bilo koja dva coveka se ne vole – (∀x)(∀y)¬p(x , y)ili znaci – ne postoji osoba tako da ne voli ni jednu drugu osobu –¬[(∃x)(∀y)¬p(x , y)] (biram da je ovo smisao)

(((∀x)(∃y)p(x , y) ∧ ¬[(∃x)(∀y)p(x , y)]) ∨ ((∃x)(∀y)p(x , y)∧¬[(∃x)(∀y)¬p(x , y)])

Generalna tvr�enja, ona koja su uopstena, vaze za svakislucaj – to zapisujemo koristeci ∀.

Primer: Ljudi idu u kupovinu. – ovo je generalno tvrdjenjevazi za sve ljudep(x) – x ide u kupovinu(∀x)p(x)

Da bi nesto bilo recenica mora da ide sa ∀ ili sa ∃.

Primer: Ljudi idu u kupovinu i jedu povrce.p(x) – x ide u kupovinuq(x) – x jede povrcep(x) ∧ q(x) – nema nikakvog smisla, ovo znaci ”x ide ukupovinu i jede povrce”. Sta je x, ko je x?? x je promenljiva inema smisla sama za sebe.(∀x)(p(x) ∧ q(x)) – ovo vec ima smisla.

Predikatski simboli – u principu, to su predikati u recenici.

Zadatak 3Dve nemimoilazne prave se seku ili su paralelene.

Prave koje se seku leze u istoj ravni.

Prave koje su paralelene leze u istoj ravni.

Dve nemimoilazne prave leze u istoj ravni.

Koriscem metode rezolucije pokazati da iz prve tri recenice sledicetvrta recenica.

m(x , y) – x i y su nemimoilazne praves(x , y) – x i y se sekup(x , y) – x i y su paralelner(x , y) – x i y leze u istoj ravni

Π = {m, s, p, r}Σ = {}ar(m) = 2, ar(s) = 2, ar(p) = 2, ar(r) = 2

(∀x)(∀y)(m(x , y) ⇒ (s(x , y) ∨ p(x , y))

(∀x)(∀y)(m(x , y) ⇒ (s(x , y) ∨ p(x , y))(∀x)(∀y)(s(x , y) ⇒ r(x , y))

(∀x)(∀y)(m(x , y) ⇒ (s(x , y) ∨ p(x , y))(∀x)(∀y)(s(x , y) ⇒ r(x , y))(∀x)(∀y)(p(x , y) ⇒ r(x , y))

(∀x)(∀y)(m(x , y) ⇒ (s(x , y) ∨ p(x , y))(∀x)(∀y)(s(x , y) ⇒ r(x , y))(∀x)(∀y)(p(x , y) ⇒ r(x , y))(∀x)(∀y)(m(x , y) ⇒ r(x , y))

Zadatak 4Svaka dva brata imaju zajednickog roditelja.

Roditelj je stariji od deteta.

Postoje braca.

Ni jedna osoba nije starija od druge.

Metodom rezolucije pokazati da je prethodni skup recenicanezadovoljiv.

b(x , y) – x i y su bracar(x , y) – x je roditelj od ys(x , y) – x je stariji od y

Π = {b, r , s}Σ = {}ar(b) = 2, ar(r) = 2, ar(s) = 2

(∀x)(∀y)(∃z)(b(x , y) ⇒ (r(z , x) ∧ r(z , y)))

(∀x)(∀y)(∃z)(b(x , y) ⇒ (r(z , x) ∧ r(z , y)))(∀x)(∀y)(r(x , y) ⇒ s(x , y))

Postoje braca.

(∀x)(∀y)(∃z)(b(x , y) ⇒ (r(z , x) ∧ r(z , y)))(∀x)(∀y)(r(x , y) ⇒ s(x , y))(∃x)(∃y)b(x , y)

Postoje braca.

Ni jedna osoba nije starija od druge.

(∀x)(∀y)(∃z)(b(x , y) ⇒ (r(z , x) ∧ r(z , y)))(∀x)(∀y)(r(x , y) ⇒ s(x , y))(∃x)(∃y)b(x , y)(∀x)(∀y)¬s(x , y)

Zadatak 5Svako ima ro�aka na moru ili na planini.

Ko ima ro�aka na moru, bio je na moru.

Ko ima ro�aka na planini, bio je na planini.

Neko nije bio ni na moru, ni na planini.

Pokazati da ako vaze prve tri recenice ne moze da vazi poslednja,cetvrta recenica.

rm(x) – x ima ro�aka na morurp(x) – x ima ro�aka na planinim(x) – x je bio na morup(x) – x je bio na planini

Π = {rm, rp,m, p}Σ = {}ar(rm) = 1, ar(rp) = 1, ar(m) = 1, ar(p) = 1

(∀x)(rm(x) ∨ rp(x))

(∀x)(rm(x) ∨ rp(x))(∀x)(rm(x) ⇒ m(x))

(∀x)(rm(x) ∨ rp(x))(∀x)(rm(x) ⇒ m(x))(∃x)(rp(x) ⇒ p(x))

Neko nije bio ni na moru, ni na planini.

(∀x)(rm(x) ∨ rp(x))(∀x)(rm(x) ⇒ m(x))(∃x)(rp(x) ⇒ p(x))(∃x)(¬m(x) ∧ ¬p(x))

Zadatak 6Svako ruca kod kuce ili u restoranu.

Ko ruca u restoranu i nema novaca, taj pere sudove urestoranu.

Janko nema novaca.

Janko ruca kod kuce ili pere sudove u restoranu.

Metodom rezolucije pokazati da je poslednja recenica logickaposledica prva tri recenice.

Janko nema novaca.

rk(x) – x ruca kod kucerr(x) – x ruca u restoranunn(x) – x nema novacaps(x) – x pere sudove u restoranuj – Janko

Π = {rk, rr , nn, ps}Σ = {j}ar(rk) = 1, ar(rr) = 1, ar(nn) = 1, ar(ps) = 1, ar(j) = 0

(∀x)(rk(x) ∨ rr(x))

(∀x)(rk(x) ∨ rr(x))(∀x)((rr(x) ∧ nn(x)) ⇒ ps(x))

Janko nema novaca.

(∀x)(rk(x) ∨ rr(x))(∀x)((rr(x) ∧ nn(x)) ⇒ ps(x))nn(j)

Janko nema novaca.

(∀x)(rk(x) ∨ rr(x))(∀x)((rr(x) ∧ nn(x)) ⇒ ps(x))nn(j)rk(j) ∨ ps(j)

Zadatak 7Ko rano rani, ceo dan je pospan.

Ko rano rani ceo dan je pospan ili dve srece grabi.

Ko dve srece grabi, ceo dan je pospan.

U logici prvog reda pokazati da je prva recenica logicka posledicadruge i trece recenice.

rr(x) – x rano ranip(x) – x je ceo dan pospands(x) – x dve srece grabi

Π = {rr , p, ds}Σ = {}ar(rr) = 1, ar(p) = 1, ar(ds) = 1

(∀x)(rr(x) ⇒ p(x))

(∀x)(rr(x) ⇒ p(x))(∀x)(rr(x) ⇒ (p(x) ∨ ds(x)))

(∀x)(rr(x) ⇒ p(x))(∀x)(rr(x) ⇒ (p(x) ∨ ds(x)))(∀x)(ds(x) ⇒ p(x))

Zadatak 8Ko se vozi avionom dosta zara�uje.

Ko dosta zara�uje puno radi.

Janko se vozi avionom.

Janko ne radi puno.

Metodom rezolucije pokazati da su zajedno prethodne recenicekontradiktorne.

Janko ne radi puno.

va(x) – x se vozi avionomdz(x) – x dosta zara�ujepr(x) – x puno radij – Janko

Π = {va, dz , pr}Σ = {j}ar(va) = 1, ar(dz) = 1, ar(pr) = 1, ar(j) = 0

(∀x)(va(x) ⇒ dz(x))

(∀x)(va(x) ⇒ dz(x))(∀x)(dz(x) ⇒ pr(x))

(∀x)(va(x) ⇒ dz(x))(∀x)(dz(x) ⇒ pr(x))va(j)

Janko ne radi puno.

(∀x)(va(x) ⇒ dz(x))(∀x)(dz(x) ⇒ pr(x))va(j)¬pr(j)

Zadatak 9Ako postoji cipela koja u svakom trenutku odgovara svakoj nozi,onda za svaku nogu postoji cipela koja joj u nekom trenutkuodgovara i za svaku nogu postoji trenutak takav da postoji cipelakoja joj u tom trenutku odgovara.

Metodom rezolucije pokazati da je prethodna recenica valjana.

p(x , y , z) – nogi X odgovara cipela Y u trenutku Z

Π = {p}Σ = {}ar(p) = 3

(∃y)(∀z)(∀x)p(x , y , z) ⇒

(∃y)(∀z)(∀x)p(x , y , z) ⇒ ((∀x)(∃y)(∃z)p(x , y , z))

(∃y)(∀z)(∀x)p(x , y , z) ⇒((∀x)(∃y)(∃z)p(x , y , z) ∧ (∀x)(∃z)(∃y)p(x , y , z))

Zadatak 10Sve sto leti to ima krila i lagano je.

Sve sto pliva to nema krila.

Sve sto pliva to ne leti.

Pokazati da je poslednja recenica logicka posledica prve dverecenice.

l(x) – x letik(x) – x ima krilap(x) – x plivalag(x) – x je lagano

Π = {l , p, k, lag}Σ = {}ar(l) = 1, ar(p) = 1, ar(k) = 1, ar(lag) = 1

(∀x)(l(x) ⇒ (k(x) ∧ lag(x)))

(∀x)(l(x) ⇒ (k(x) ∧ lag(x)))(∀x)(p(x) ⇒ ¬k(x))

(∀x)(l(x) ⇒ (k(x) ∧ lag(x)))(∀x)(p(x) ⇒ ¬k(x))(∀x)(p(x) ⇒ ¬l(x))

Zadatak 11Ko radi taj ima ili trosi.

Ko ima taj peva.

Ko trosi taj peva.

Ko radi taj peva.

Pokazati da je poslednja recenica logicka posledica prve trirecenice.

Ko ima taj peva.

Ko trosi taj peva.

Ko radi taj peva.

r(x) – x radii(x) – x imat(x) – x trosip(x) – x peva

Π = {r , i , t, p}Σ = {}ar(r) = 1, ar(r) = 1, ar(r) = 1, ar(p) = 1

(∀x)(r(x) ⇒ (i(x) ∨ t(x)))

Ko ima taj peva.

(∀x)(r(x) ⇒ (i(x) ∨ t(x)))(∀x)(i(x) ⇒ p(x))

Ko ima taj peva.

Ko trosi taj peva.

(∀x)(r(x) ⇒ (i(x) ∨ t(x)))(∀x)(i(x) ⇒ p(x))(∀x)(t(x) ⇒ p(x))

Ko ima taj peva.

Ko trosi taj peva.

Ko radi taj peva.

(∀x)(r(x) ⇒ (i(x) ∨ t(x)))(∀x)(i(x) ⇒ p(x))(∀x)(t(x) ⇒ p(x))(∀x)(r(x) ⇒ p(x))

Zadatak 12Ko laze taj krade.

Ko krade i uhvacen je u kra�i, taj ide u zatvor.

Al Kapone laze.

Al Kapone je uhvacen u kra�i.

Laki Luciano laze.

Al Kapone laze.

Laki Luciano laze.

l(x) – x lazek(x) – x kradeu(x) – x uhavacen u kra�iz(x) – x ide u zatvorAK – Al KaponeLL – Laki Luciano

Π = {l , k, u, z}Σ = {AK , LL}ar(l) = 1, ar(k) = 1, ar(u) = 1, ar(z) = 1, ar(AK ) = 0, ar(LL) = 0

(∀x)(l(x) ⇒ k(x))

(∀x)(l(x) ⇒ k(x))(∀x)((l(x) ∧ u(x)) ⇒ z(x))

Al Kapone laze.

(∀x)(l(x) ⇒ k(x))(∀x)((l(x) ∧ u(x)) ⇒ z(x))l(AK )

Al Kapone laze.

(∀x)(l(x) ⇒ k(x))(∀x)((l(x) ∧ u(x)) ⇒ z(x))l(AK )u(AK )

Al Kapone laze.

Laki Luciano laze.

(∀x)(l(x) ⇒ k(x))(∀x)((l(x) ∧ u(x)) ⇒ z(x))l(AK )u(AK )l(LL)

Zadatak 13Ako onaj ko laze taj i krade i ako bar neko laze, onda neko i krade.

U logici prvog reda pokazati da je ova recenica valjana.

l(x) – x lazek(x) – x krade

Π = {l , k}Σ = {}ar(l) = 1, ar(k) = 1

(∀x)(l(x) ⇒ k(x))

(∀x)(l(x) ⇒ k(x)) ∧ (∃x)l(x)

((∀x)(l(x) ⇒ k(x)) ∧ (∃x)l(x)) ⇒

((∀x)(l(x) ⇒ k(x)) ∧ (∃x)l(x)) ⇒ (∃x)k(x)

Zadatak 14Ako je X prijatelj osobe Y, onda je Y prijatelj osobe X.

Ako je X prijatelj osobe Y, onda X voli Y.

Ne postoji neko ko je povredio osobu koju voli.

Janko je povredio svog prijatelja Marka.

Pokazati da je ovaj skup recenica nezadovoljiv.

p(x , y) – x je prijatelj osobe yv(x , y) – x voli ypov(x , y) – x je povredio ym – Marko j – Janko

Π = {p, v , pov}Σ = {m, j}ar(p) = 2, ar(v) = 2, ar(pov) = 2, ar(m) = 0, ar(j) = 0

(∀x)(∀y)(p(x , y) ⇒ p(y , x))

(∀x)(∀y)(p(x , y) ⇒ p(y , x))(∀x)(∀y)(p(x , y) ⇒ v(x , y))

(∀x)(∀y)(p(x , y) ⇒ p(y , x))(∀x)(∀y)(p(x , y) ⇒ v(x , y))¬[(∃x)(∃y)(pov(x , y) ∧ v(x , y))]

(∀x)(∀y)(p(x , y) ⇒ p(y , x))(∀x)(∀y)(p(x , y) ⇒ v(x , y))¬[(∃x)(∃y)(pov(x , y) ∧ v(x , y))]pov(j ,m) ∧ p(m, j)

Zadatak 15Svako zadovoljstvo se placa.

z(x) – x je zadovoljstvop(x) – x se placa(∀x)(z(x) ⇒ p(x))

Zadatak 15Svako zadovoljstvo se placa.

z(x) – x je zadovoljstvop(x) – x se placa

(∀x)(z(x) ⇒ p(x))Netacno: (∀x)(z(x) ∧ p(x))Jer ovako ispada da svako x se placa i da je svako x zadovoljstvo, ato nije slucaj, u nasoj recenici to nigde ne stoji; mozda x moze bitii nesto trece.Mi samo tvrdimo da ako x jeste zadovoljstvo onda se placa.Tako�e, prva recenica je tacna ako x nije zadovoljstvo a placa se(recimo kazna za parking), dok druga nije.

Zadatak 15Postoji zadovoljstvo koje se placa.

z(x) – x je zadovoljstvop(x) – x se placa

(∃x)(z(x) ∧ p(x))Netacno: (∀x)(z(x) ⇒ p(x))Ovde je situacija drugacija. Menja se zbog postoji u odnosu nasvako kao u prethodnom primeru. Kada kazemo postoji mislimo naneko konkretno x , na neku jedinku, a ne na uopsteni slucaj. I zarazliku od malo pre gde je x moglo biti i nesto trece (nesto sto nitise placa, niti je zadovoljstvo), ovde to nije slucaj. Ovde znamo daje ova jedinka upravo sa tim osobinama i nije nikako drugacija.

Zadatak 15Ni jedno zadovoljstvo nije posao.

z(x) – x je zadovoljstvop(x) – x se je posao

Pitanje smisla – ”bilo koje zadovoljstvo nije posao”(∀x)(z(x) ⇒ ¬p(x))Netacno: (∀x)(z(x) ∧ ¬p(x))Isto kao i malo pre – imamo ∀.

prezentacija (prva verzija, moguće greške)

Documents

greške pri livenju i ispitivanje odlivaka

greŠke drveta

media kit 2012. - jatrgovac.comvijesti s portala moguće je...

ponuda vaŽi od 27.09.2019. do 16.10.2019....akcija traje...

8. greŠke u zavarenim spojevima 8.1. greške u izradi ......

greške nedovoljnog dokaza

najčešće gramatičke greške u medijima

ponuda vaŽi od 08.11.2019. 27.11.2019....akcija traje dok...

tipične greške kod snimanja

greške u ponašanju - hana verena ceme

seminari 2016_alduk greške u termičkoj obradi

akcijski katalog - fis d.o.o.fotografije nisu 100%...

349, 240, · sve cijene su izražene u km sa pdv-om,...

ponuda vaŽi od 04.03.2019. do 20.03.2019. · akcija traje...

najČeŠĆe greŠke ostalih vozaČa motornih vozila

peta verzija

greške kod mag zavarivanja - repozitorij.fsb.unizg.hr

greške kandidata na ispitu

najčešće greške pri uređenju akvarija

detektor gasa olct80 · digitalna verzija centrala releji (...