1 / 66

Логика 2 прва недеља

Логика 2 прва недеља. О овом курсу. Језик исказног рачуна. Синтакса . Семантичке дефиниције везника помоћу истинитосних таблица. ИР: Синтакса-alphabet. Alfabet IR : - A, B, C, ... - ~, &,  ,  ,  - (, ). ИР: Синтакса- искази.

abdul-simpson
Download Presentation

Логика 2 прва недеља

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. Логика 2прва недеља О овом курсу. Језик исказног рачуна. Синтакса. Семантичке дефиниције везника помоћу истинитосних таблица.

  2. ИР: Синтакса-alphabet Alfabet IR: - A, B, C, ... - ~, &, , ,  - (, )

  3. ИР: Синтакса- искази A, B, C, ... iskazi. Imaju istinitosnu vrednost T ili F

  4. ИР: Синтакса ~ negacija ~A čita se: “ne A” A

  5. ИР: Синтакса & konjunkcija A&B čita se: ”A i B” A je levi konjunkt, B je desni konjunkt AB, AB

  6. ИР: Синтакса disjunkcija AB čita se: “A ili B” A je levi disjunkt, B je desni disjunkt

  7. ИР: Синтакса materijalna implikacija AB čita se “A implicira B”, or “Ako A, onda B” A je antecedens B je konsekvens AB, AB

  8. ИР: Синтакса ekvivalencija AB čita se: “A je ekvivalentno sa B” AB, AB

  9. ИР: Синтакса- ~& • A, B, C, ... propositions. have value T or F • ~ negation • ~A is read: “not A” • & conjunction • A&B is read: ”A and B” • A is left conjunct, B is right conjunct •  disjunction • AB is read: “A or B” • A is left disjunct, B is right disjunct •  material implication • AB is read “A implies B”, or “If A, then B” • A is the antecedent • B is the consequent •  material biconditional or equivalence • AB is read: “A is equivalent to B”

  10. ИР: Синтакса- formulae • Atomske formule – nemaju veznike

  11. ИР: Синтакса- formulae • Atomske formule – nemaju veznike • Ako je A formula, onda je to i ~A

  12. ИР: Синтакса- formulae • Atomske formule – nemaju veznike • Ako je A formula, onda je to i ~A • Ako su A i B formule, onda su to i • A&B, AB, AB, AB

  13. ИР: Синтакса- formulae • Atomske formule – nemaju veznike • Ako je A formula, onda je to i ~A • Ako su A i B formule, onda su to i • A&B, AB, AB, AB • ništa drugo nije formula

  14. ИР: Синтакса– главни везник Kod složenih formulazagradezagrade nam određuju glavni veznik:

  15. ИР: Синтакса– главни везник Kod složenih formulazagradezagrade nam određuju glavni veznik: ~(-------) je negacija

  16. ИР: Синтакса– главни везник Kod složenih formulazagradezagrade nam određuju glavni veznik: ~(-------) je negacija (---------) & (---------) je konjunkcija

  17. ИР: Синтакса– главни везник Kod složenih formulazagradezagrade nam određuju glavni veznik: ~(-------) je negacija (---------) & (---------) je konjunkcija (---------)  (----------) je implikacija, itd.

  18. ИР: Синтакса– главни везник Kod složenih formulazagradezagrade nam određuju glavni veznik: ~(-------) je negacija (---------) & (---------) je konjunkcija (---------)  (----------) je implikacija, itd. Formula (((A&B)  ~C)  D)  ~B je implikacija. (Ako je A i B ili ne C ekvivalentno sa D, onda ne B.)

  19. ИР: Синтакса– главни везник Kod složenih formulazagradezagrade nam određuju glavni veznik: ~(-------) je negacija (---------) & (---------) je konjunkcija (---------)  (----------) je implikacija, itd. Formula (((A&B)  ~C)  D)  ~B je implikacija. (Ako je A i B ili ne C ekvivalentno sa D, onda ne B.) Antecedens je ekvivalencija. Konsekvens je negacija.

  20. ИР: Синтакса– главни везник Koji je glavni veznik u ovim formulama?

  21. ИР: Синтакса– главни везник Koji je glavni veznik u ovim formulama?

  22. ИР: Синтакса– главни везник Koje od ovih formula imaju formu ~P  Q? Objasnite.

  23. ИР: Синтакса– главни везник Koje od ovih formula imaju formu ~P  Q? Objasnite.

  24. ИР: Истинитосне таблице за~ ~ negacija ~A čita se: “ne A”

  25. ИР: Истинитосне таблице за & & konjunkcija A&B čita se: ”A i B” A je levi konjunkt, B je desni konjunkt

  26. ИР: Истинитосне таблице за  disjunkcija AB čita se: “A ili B” A je levi disjunkt, B je desni disjunkt

  27. ИР: Истинитосне таблице за  materijalna implikacija AB čita se “A implicira B”, or “Ako A, onda B” A je antecedens. B je konsekvens

  28. ИР: Истинитосне таблице за  ekvivalencija AB čita se: “A je ekvivalentno sa B”

  29. Истинитосне таблице за (AB)(~AB)

  30. Истинитосне таблице за (AB)(~AB)

  31. Истинитосне таблице за (AB)(~AB)

  32. Истинитосне таблице за (AB)(~AB)

  33. Истинитосне таблице за (AB)(~AB)

  34. Истинитосне таблице за (AB)(~AB)

  35. ИР: Истинитосне таблице за &

  36. ((A  B)  A)  A T T T F F T F F Peirce’s law

  37. ((A  B)  A)  A T  T T T  F F F  T T F  T F Peirce’s law

  38. ((A  B)  A)  A T  T T  T T  F F F  T T F  T F Peirce’s law

  39. ((A  B)  A)  A T  T T  T T  F F  T F  T T F  T F Peirce’s law

  40. ((A  B)  A)  A T  T T  T T  F F  T F  T T  F F  T F  F Peirce’s law

  41. ((A  B)  A)  A T  T T  T  T T  F F  T  T F  T T  F F  T F  F Peirce’s law

  42. ((A  B)  A)  A T  T T  T  T T  F F  T  T F  T T  F T F  T F  F  T Peirce’s law

  43. Истинитосне таблице за ( (AC)  (BC) )  ( (AB)C )

  44. Истинитосне таблице за ( (AC)  (BC) )  ( (AB)C )

  45. Истинитосне таблице за ( (AC)  (BC) )  ( (AB)C )

  46. Истинитосне таблице за ( (AC)  (BC) )  ( (AB)C )

  47. Истинитосне таблице за ( (AC)  (BC) )  ( (AB)C )

  48. Истинитосне таблице за ( (AC)  (BC) )  ( (AB)C )

  49. Истинитосне таблице за ( (AC)  (BC) )  ( (AB)C )

  50. Истинитосне таблице за ( (AC)  (BC) )  ( (AB)C )

More Related