1 / 98

Svi delfini su lepi Mimi je delfin Dakle, Mimi je lep Svi delfini su sisari

Svi delfini su lepi Mimi je delfin Dakle, Mimi je lep Svi delfini su sisari Svi sisari su zanimljivi Dakle, svi delfini su zanimljivi. Svi A su B a je A (a ima svojstvo A) Dakle a je B Svi A su B Svi B su C Dakle, svi A su C. Svi delfini su lepi Mimi je delfin Dakle, Mimi je lep

kateb
Download Presentation

Svi delfini su lepi Mimi je delfin Dakle, Mimi je lep Svi delfini su sisari

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Svi delfini su lepi Mimi je delfin Dakle, Mimi je lep Svi delfini su sisari Svi sisari su zanimljivi Dakle, svi delfini su zanimljivi

  2. Svi A su B a je A (a ima svojstvo A) Dakle a je B Svi A su B Svi B su C Dakle, svi A su C Svi delfini su lepi Mimi je delfin Dakle, Mimi je lep Svi delfini su sisari Svi sisari su zanimljivi Dakle, svi delfini su zanimljivi

  3. Svi A su B a je A (a ima svojstvo A) Dakle a je B Svi A su B Svi B su C Dakle, svi A su C A B C D M K Svi delfini su lepi Mimi je delfin Dakle, Mimi je lep Svi delfini su sisari Svi sisari su zanimljivi Dakle, svi delfini su zanimljivi

  4. Svi A su B a je A (a ima svojstvo A) Dakle a je B Svi A su B Svi B su C Dakle, svi A su C A B C D M K Svi delfini su lepi Mimi je delfin Dakle, Mimi je lep Svi delfini su sisari Svi sisari su zanimljivi Dakle, svi delfini su zanimljivi Zebre nisu magarci Ni jedna zebra nije magare Nema zebre koja je magare Ne postoji zebra koja je magare Svaka zebra nije magare Svaka zebra je zebra

  5. Svi A su B a je A (a ima svojstvo A) Dakle a je B Svi A su B Svi B su C Dakle, svi A su C A B C D M K Svi delfini su lepi Mimi je delfin Dakle, Mimi je lep Svi delfini su sisari Svi sisari su zanimljivi Dakle, svi delfini su zanimljivi Zebre nisu magarci A Ni jedna zebra nije magare A Nema zebre koja je magare A Ne postoji zebra koja je magare A Svaka zebra nije magare A Svaka zebra je zebra B

  6. Gramatički subjekti Singularni Aristotle je otac logike Filozofski fakultet je u centru Perin otacje u gradu Tip u ćošku koji pije martinije opasan Toje loše Jane volim banane Opšti pojmovi Ajvi univerziteti su bogatisu bogati Perini roditeljisu u gradu Ljudi koji piju martini u ćošku su pijani Zbirni pojmovi Snegje beo

  7. Gramatički predikati Aristotle je otac logike Filozofski fakultet je u centru Perin otacje u gradu Tip u ćošku koji pije martinije opasan Toje loše Jane volim banane Predikati u PR

  8. Gramatički predikati Aristotle je otac logike Filozofski fakultet je u centru Perin otacje u gradu Tip u ćošku koji pije martinije opasan Toje loše Jane volim banane Predikati u PR Aristotle jeotac logike (Aristotel ima svojstvo biti otac logike) Filozofski fakultet jeu centru Perin otacjeu gradu Tip u ćošku koji pije martinijeopasan Tojeloše Jane volimbanane (Ja imam svojstvo ne voleti banane)

  9. Gramatički predikati Aristotle je otac logike O(a) Filozofski fakultet je u centru C(f) Perin otacje u gradu Tip u ćošku koji pije martinije opasan Toje loše Jane volim banane ~V(v) Predikati u PR Aristotle jeotac logike (Aristotel ima svojstvo biti otac logike) Filozofski fakultet jeu centru Perin otacjeu gradu Tip u ćošku koji pije martinijeopasan Tojeloše Jane volimbanane (Ja imam svojstvo ne voleti banane)

  10. Predikati u PR Unarni predikati (svojstva) biti paran biti neparan biti u gradu ne voleti banane Binarni predikati (relacije) biti veći biti jednak Ternarni predikati (relacije) biti između n-arni predikati (relacije)

  11. Vežba Domen: Ana, Boris, Čupa, Dejana Lx: x je lep(a) Px: x je pametan(na) Bx: x je bogat(a) Sxy: x-u se sviđa y Pxy: x prezire y Vxy: x voli y Mxy: x je manji od y a: Ana b: Boris c: Čupa d: Dejana

  12. Vežba Ana je i pametna i lepa, ali nije bogata a. (Pa & La) &  Ba

  13. Vežba Ana je i pametna i lepa, ali nije bogata a. (Pa & La) &  Ba Čupa je bogat i lep ali nije pametan b. (Bc & Lc) &  Pc

  14. Vežba Ana je i pametna i lepa, ali nije bogata a. (Pa & La) &  Ba Čupa je bogat i lep ali nije pametan b. (Bc & Lc) &  Pc Dejana je lepa, pametna i bogata c. (Ld & Bd) & Pd

  15. Vežba Ana je i pametna i lepa, ali nije bogata a. (Pa & La) &  Ba Čupa je bogat i lep ali nije pametan b. (Bc & Lc) &  Pc Dejana je lepa, pametna i bogata c. (Ld & Bd) & Pd Boris nije ni lep ni pametan ni bogat d.  [(Bb  Lb)  Pb]

  16. Vežba Ana je i pametna i lepa, ali nije bogata a. (Pa & La) &  Ba Čupa je bogat i lep ali nije pametan b. (Bc & Lc) &  Pc Dejana je lepa, pametna i bogata c. (Ld & Bd) & Pd Boris nije ni lep ni pametan ni bogat d.  [(Bb  Lb)  Pb] Ako je Boris pametan, onda su to i Dejana i Ana e. Pb  (Pd & Pa)

  17. Vežba Ana je i pametna i lepa, ali nije bogata a. (Pa & La) &  Ba Čupa je bogat i lep ali nije pametan b. (Bc & Lc) &  Pc Dejana je lepa, pametna i bogata c. (Ld & Bd) & Pd Boris nije ni lep ni pametan ni bogat d.  [(Bb  Lb)  Pb] Ako je Boris pametan, onda su to i Dejana i Ana e. Pb  (Pd & Pa) Ana je lepa i pametna, Boris je pametan ali nije lep, i niko od njih nije bogat f. [(La & Pa) & (Pb &  Lb)] &  (Ba  Bb)

  18. Vežba Ana je i pametna i lepa, ali nije bogata a. (Pa & La) &  Ba Čupa je bogat i lep ali nije pametan b. (Bc & Lc) &  Pc Dejana je lepa, pametna i bogata c. (Ld & Bd) & Pd Boris nije ni lep ni pametan ni bogat d.  [(Bb  Lb)  Pb] Ako je Boris pametan, onda su to i Dejana i Ana e. Pb  (Pd & Pa) Ana je lepa i pametna, Boris je pametan ali nije lep, i niko od njih nije bogat f. [(La & Pa) & (Pb &  Lb)] &  (Ba  Bb) Ana voli Borisa, ali prezire Čupu g. Vab & Pac

  19. Vežba Ana je i pametna i lepa, ali nije bogata a. (Pa & La) &  Ba Čupa je bogat i lep ali nije pametan b. (Bc & Lc) &  Pc Dejana je lepa, pametna i bogata c. (Ld & Bd) & Pd Boris nije ni lep ni pametan ni bogat d.  [(Bb  Lb)  Pb] Ako je Boris pametan, onda su to i Dejana i Ana e. Pb  (Pd & Pa) Ana je lepa i pametna, Boris je pametan ali nije lep, i niko od njih nije bogat f. [(La & Pa) & (Pb &  Lb)] &  (Ba  Bb) Ana voli Borisa, ali prezire Čupu g. Vab & Pac Ana voli i sebe i Čupu, a prezire i Borisa i Dejanu h. (Vaa & Vac) & (Pab & Pad)

  20. Vežba Ana je i pametna i lepa, ali nije bogata a. (Pa & La) &  Ba Čupa je bogat i lep ali nije pametan b. (Bc & Lc) &  Pc Dejana je lepa, pametna i bogata c. (Ld & Bd) & Pd Boris nije ni lep ni pametan ni bogat d.  [(Bb  Lb)  Pb] Ako je Boris pametan, onda su to i Dejana i Ana e. Pb  (Pd & Pa) Ana je lepa i pametna, Boris je pametan ali nije lep, i niko od njih nije bogat f. [(La & Pa) & (Pb &  Lb)] &  (Ba  Bb) Ana voli Borisa, ali prezire Čupu g. Vab & Pac Ana voli i sebe i Čupu, a prezire i Borisa i Dejanu h. (Vaa & Vac) & (Pab & Pad) Čupa niti voli niti prezire Anu, ali Dejanu i voli i prezire i.  (Vca  Pca) & (Vcd & Pcd)

  21. Vežba Ni Dejani ni Borisu se ne sviđa Čupa, ali se oni oboje sviđaju Čupi j.  (Sdc  Sbc) & (Scd & Scb)

  22. Vežba Ni Dejani ni Borisu se ne sviđa Čupa, ali se oni oboje sviđaju Čupi j.  (Sdc  Sbc) & (Scd & Scb) Čupi se sviđa Boris samo u slučaju da je Boris bogat i manji od Čupe k. Scb  (Mbc & Bb)

  23. Vežba Ni Dejani ni Borisu se ne sviđa Čupa, ali se oni oboje sviđaju Čupi j.  (Sdc  Sbc) & (Scd & Scb) Čupi se sviđa Boris samo u slučaju da je Boris bogat i manji od Čupe k. Scb  (Mbc & Bb) Ani se sviđaju Boris i Dejana ali ni jednog od njih ne voli l. (Sab & Sad) &  (Vab  Vad)

  24. Vežba Ni Dejani ni Borisu se ne sviđa Čupa, ali se oni oboje sviđaju Čupi j.  (Sdc  Sbc) & (Scd & Scb) Čupi se sviđa Boris samo u slučaju da je Boris bogat i manji od Čupe k. Scb  (Mbc & Bb) Ani se sviđaju Boris i Dejana ali ni jednog od njih ne voli l. (Sab & Sad) &  (Vab  Vad) Ako je Dejana manja od Čupe i Čupa od Ane, onda je Dejana manja od Ane m. (Mdc & Mca)  Mda

  25. Vežba Ni Dejani ni Borisu se ne sviđa Čupa, ali se oni oboje sviđaju Čupi j.  (Sdc  Sbc) & (Scd & Scb) Čupi se sviđa Boris samo u slučaju da je Boris bogat i manji od Čupe k. Scb  (Mbc & Bb) Ani se sviđaju Boris i Dejana ali ni jednog od njih ne voli l. (Sab & Sad) &  (Vab  Vad) Ako je Dejana manja od Čupe i Čupa od Ane, onda je Dejana manja od Ane m. (Mdc & Mca)  Mda Ako se Borisu sviđa Dejana i on njoj, onda se oni vole n. (Sbd & Sdb)  (Vbd & Vdb)

  26. Vežba Ni Dejani ni Borisu se ne sviđa Čupa, ali se oni oboje sviđaju Čupi j.  (Sdc  Sbc) & (Scd & Scb) Čupi se sviđa Boris samo u slučaju da je Boris bogat i manji od Čupe k. Scb  (Mbc & Bb) Ani se sviđaju Boris i Dejana ali ni jednog od njih ne voli l. (Sab & Sad) &  (Vab  Vad) Ako je Dejana manja od Čupe i Čupa od Ane, onda je Dejana manja od Ane m. (Mdc & Mca)  Mda Ako se Borisu sviđa Dejana i on njoj, onda se oni vole n. (Sbd & Sdb)  (Vbd & Vdb) Ako Čupa voli Borisa, onda Čupa prezire Anu samo ako je Boris voli o. Vcb  (Pca  Vba)

  27. Vežba Ni Dejani ni Borisu se ne sviđa Čupa, ali se oni oboje sviđaju Čupi j.  (Sdc  Sbc) & (Scd & Scb) Čupi se sviđa Boris samo u slučaju da je Boris bogat i manji od Čupe k. Scb  (Mbc & Bb) Ani se sviđaju Boris i Dejana ali ni jednog od njih ne voli l. (Sab & Sad) &  (Vab  Vad) Ako je Dejana manja od Čupe i Čupa od Ane, onda je Dejana manja od Ane m. (Mdc & Mca)  Mda Ako se Borisu sviđa Dejana i on njoj, onda se oni vole n. (Sbd & Sdb)  (Vbd & Vdb) Ako Čupa voli Borisa, onda Čupa prezire Anu samo ako je Boris voli o. Vcb  (Pca  Vba) Ako Čupa nije ni lep ni pametan ni bogat, onda ga niko ne voli p.  [(Bc  Lc)  Pc]  [(Vac  Vbc)  (Vcc  Vdc)]

  28. Vežba Ni Dejani ni Borisu se ne sviđa Čupa, ali se oni oboje sviđaju Čupi j.  (Sdc  Sbc) & (Scd & Scb) Čupi se sviđa Boris samo u slučaju da je Boris bogat i manji od Čupe k. Scb  (Mbc & Bb) Ani se sviđaju Boris i Dejana ali ni jednog od njih ne voli l. (Sab & Sad) &  (Vab  Vad) Ako je Dejana manja od Čupe i Čupa od Ane, onda je Dejana manja od Ane m. (Mdc & Mca)  Mda Ako se Borisu sviđa Dejana i on njoj, onda se oni vole n. (Sbd & Sdb)  (Vbd & Vdb) Ako Čupa voli Borisa, onda Čupa prezire Anu samo ako je Boris voli o. Vcb  (Pca  Vba) Ako Čupa nije ni lep ni pametan ni bogat, onda ga niko ne voli p.  [(Bc  Lc)  Pc]  [(Vac  Vbc)  (Vcc  Vdc)] Samo je Dejana bogata q. Bd &  [Ba  (Bb  Bc)]

  29. Vežba Ni Dejani ni Borisu se ne sviđa Čupa, ali se oni oboje sviđaju Čupi j.  (Sdc  Sbc) & (Scd & Scb) Čupi se sviđa Boris samo u slučaju da je Boris bogat i manji od Čupe k. Scb  (Mbc & Bb) Ani se sviđaju Boris i Dejana ali ni jednog od njih ne voli l. (Sab & Sad) &  (Vab  Vad) Ako je Dejana manja od Čupe i Čupa od Ane, onda je Dejana manja od Ane m. (Mdc & Mca)  Mda Ako se Borisu sviđa Dejana i on njoj, onda se oni vole n. (Sbd & Sdb)  (Vbd & Vdb) Ako Čupa voli Borisa, onda Čupa prezire Anu samo ako je Boris voli o. Vcb  (Pca  Vba) Ako Čupa nije ni lep ni pametan ni bogat, onda ga niko ne voli p.  [(Bc  Lc)  Pc]  [(Vac  Vbc)  (Vcc  Vdc)] Samo je Dejana bogata q. Bd &  [Ba  (Bb  Bc)] Samo je Dejana bogata i pametna r. (Bd & Pd) &  [((Ba & Pa)  (Bb & Pb))  (Bc & Pc)]

  30. Kvantifikatori mnogo malo većina neki nešto bar jedan najviše tri tri svi sve svaki bilo koji niko ništa ni jedan ne manje od dva

  31. Egzistencijalni kvantifikator Vezuje se uz jednu promenljivu kojoj se pripisuje neki predikat xPx Čita se: Postoji nešto što ima svojstvo P, ili Bar jedna stvar je P, ili Nešto je P xPx Ništa nije P Ne postoji ništa što je P Nijedna stvar nema svojstvo P

  32. Univerzalni kvantifikator Vezuje se uz jednu promenljivu kojoj se pripisuje neki predikat xPx Čita se: Sve ima svojstvo P, ili Sve je P, ili Svaka stvar je P xPx Nemaju sve stvari svojstvo P Nije svaka stvar P

  33. Odnos između kvantifikatora xPx xPx

  34. Odnos između kvantifikatora xPx xPx Nešto ima svojstvo P samo u slučaju da nije tačno da je svaka stvar ne-P

  35. Odnos između kvantifikatora xPx xPx Nešto ima svojstvo P samo u slučaju da nije tačno da je svaka stvar ne-P xPx xPx

  36. Odnos između kvantifikatora xPx xPx Nešto ima svojstvo P samo u slučaju da nije tačno da je svaka stvar ne-P xPx xPx Sve je P samo u slučaju da ništa nije ne-P

  37. Odnos između kvantifikatora xPx xPx Nešto ima svojstvo P samo u slučaju da nije tačno da je svaka stvar ne-P xPx xPx Sve je P samo u slučaju da ništa nije ne-P xPx xPx

  38. Odnos između kvantifikatora xPx xPx Nešto ima svojstvo P samo u slučaju da nije tačno da je svaka stvar ne-P xPx xPx Sve je P samo u slučaju da ništa nije ne-P xPx xPx Ništa nije P samo u slučaju da su sve stvari ne-P

  39. Odnos između kvantifikatora xPx xPx Nešto ima svojstvo P samo u slučaju da nije tačno da je svaka stvar ne-P xPx xPx Sve je P samo u slučaju da ništa nije ne-P xPx xPx Ništa nije P samo u slučaju da su sve stvari ne-P xPx xPx

  40. Odnos između kvantifikatora xPx xPx Nešto ima svojstvo P samo u slučaju da nije tačno da je svaka stvar ne-P xPx xPx Sve je P samo u slučaju da ništa nije ne-P xPx xPx Ništa nije P samo u slučaju da su sve stvari ne-P xPx xPx Nisu sve stvari P samo u slučaju da postoji nešto ne-P

  41. Vežba Domen: Bombone u tegli na mom stolu Bx: x je belo Cx: x je crveno

  42. Vežba Domen: Bombone u tegli na mom stolu Bx: x je belo Cx: x je crveno Sve bombone su bele

  43. Vežba Domen: Bombone u tegli na mom stolu Bx: x je belo Cx: x je crveno Sve bombone su belexBx

  44. Vežba Domen: Bombone u tegli na mom stolu Bx: x je belo Cx: x je crveno Sve bombone su belexBx Neke bombone su bele

  45. Vežba Domen: Bombone u tegli na mom stolu Bx: x je belo Cx: x je crveno Sve bombone su belexBx Neke bombone su bele xBx

  46. Vežba Domen: Bombone u tegli na mom stolu Bx: x je belo Cx: x je crveno Sve bombone su belexBx Neke bombone su bele xBx Nijedna bombona nije bela

  47. Vežba Domen: Bombone u tegli na mom stolu Bx: x je belo Cx: x je crveno Sve bombone su belexBx Neke bombone su bele xBx Nijedna bombona nije belaxBx ili xBx

  48. Vežba Domen: Bombone u tegli na mom stolu Bx: x je belo Cx: x je crveno Sve bombone su belexBx Neke bombone su bele xBx Nijedna bombona nije belaxBx ili xBx Neke bombone nisu bele

  49. Vežba Domen: Bombone u tegli na mom stolu Bx: x je belo Cx: x je crveno Sve bombone su belexBx Neke bombone su bele xBx Nijedna bombona nije belaxBx ili xBx Neke bombone nisu bele xBx ili xBx

  50. Vežba Domen: Bombone u tegli na mom stolu Bx: x je belo Cx: x je crveno Sve bombone su belexBx Neke bombone su bele xBx Nijedna bombona nije belaxBx ili xBx Neke bombone nisu bele xBx ili xBx Neke bombone su bele a neke crvene

More Related