1 / 19

Propositional Logic

Propositional Logic. 6.1 Symbols and Translation. Symbols and Translation. In Propositional Logic the basic elements are statements and operators (also called connectives). Letters are assigned to simple statements only.

chelsa
Télécharger la présentation

Propositional Logic

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. Propositional Logic 6.1 Symbols and Translation

  2. Symbols and Translation In Propositional Logic the basic elements are statements and operators (also called connectives). Letters are assigned to simple statements only. A simple statement is a statement that has no other statement as a component, for example…

  3. Symbols and Translation Simple statement: The car is red. Compound statement: The car is red and the track is fast. In propositional logic, a simple statement can be represented by any convenient upper case letter. ‘C’ or ‘R’ would be natural for the simple statement above.

  4. Symbols and Translation When reading a sentence, we look for simple statements and operators or connectives. There are only 5 operators:

  5. Symbols and Translation With the operators, we can translate our compound statement: The car is red and the track is fast. C • T How should we translate the following? It is not the case that the car is red. ~C

  6. Symbols and Translation How should we translate these statements? Either Jo sits or Ed hums. J v E If you want a pop, then you should go up to the fridge. W  G

  7. Symbols and Translation How to translate (continued)… The Packers will lose if and only if Favre is a spaz. L Ξ S

  8. Symbols and Translation The tilde, ~, is always placed in front of the proposition it negates. Jo does not hum ~J The other connectives always appear between propositions. Ed sits and Jo hums E • J How about … Ed sits and Jo doesn’t hum E • ~J

  9. Symbols and Translation How would we translate this? Ed doesn’t sit and Jo doesn’t hum. ~E • ~J How about this? It is not the case that Ed sits and Jo hums. ~(E • J)

  10. Symbols and Translation Our last example introduces the notion of a Main Operator. Main Operator =df that operator in a compound statement that governs the largest component(s) in the statement. So, in ~ (E v J), the main operator is… tilde, because it governs E, J, and the wedge, while the wedge just governs E and J.

  11. Symbols and Translation How about … S • ~(G v L) The main operator is… Dot. Tilde only governs ‘G v L’

  12. Symbols and Translation What should we call this statement? S • ~(G v L) Since the main operator is the dot, we call this statement … A Conjunction

  13. Symbols and Translation Here is a table of names…

  14. Symbols and Translation What should we call this statement? [K v (S  F)]  [(R • H)  J] It is a Conditional Why? Because the main operator is the horseshoe (arrow).

  15. Symbols and Translation What should we call this statement? (N • P) v ~R It is a Disjunction Why? Because the main operator is the wedge.

  16. Symbols and Translation What should we call this statement? [(H • P) v L] ~R It is a Mistake! Why? Because any formula has to be asserting just one thing, complex as it may be…

  17. Symbols and Translation [(H • P) v L] ~R This “statement” would be saying something like… Harry sits and Peter sings, or Larry plays harmonica Randy does not run This “statement” was fine up to ‘harmonica’ Nothing tells us what relation ‘Randy does not run’ has to the rest of the statements.

  18. Symbols and Translation [(H • P) v L] ~R This “statement” is, in the books terminology, not a Well-Formed Formula. (Wiff, Woof) Wiffs, or Woofs, are required before we can use any tools to test arguments, just like Standard Form was required before we could use Venn Diagrams.

  19. Symbols and Translation Make sure you read section 6.1 completely. The section is long, but it is important for grasping the easier stuff to come.

More Related