1 / 74

Chapter 1 – Logic and Proof

Chapter 1 – Logic and Proof. Dr. Majed Abdouli, Assistant Professor FCIT, University Of Jeddah – Jeddah, Saudi Arabia. Propositional Logic. Propositional Logic. Propositional Logic. Propositional Logic. Propositional Logic Logical Operators (Connectives).

springs
Download Presentation

Chapter 1 – Logic and Proof

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. Chapter 1 – Logic and Proof Dr. Majed Abdouli, Assistant Professor FCIT, University Of Jeddah – Jeddah, Saudi Arabia

  2. Propositional Logic

  3. Propositional Logic

  4. Propositional Logic

  5. Propositional Logic

  6. Propositional LogicLogical Operators (Connectives)

  7. Propositional LogicLogical Operators - Negation

  8. Propositional LogicLogical Operators - Negation

  9. Propositional LogicLogical Operators - Conjunction

  10. Propositional LogicLogical Operators - Conjunction

  11. Propositional LogicLogical Operators - Disjunction

  12. Propositional LogicLogical Operators - Disjunction

  13. Propositional LogicLogical Operators - Disjunction

  14. Propositional LogicLogical Operators - Disjunction

  15. Propositional LogicLogical Operators - Implication

  16. Propositional LogicLogical Operators - Implication

  17. Propositional LogicLogical Operators - Implication

  18. Propositional LogicLogical Operators - Implication

  19. Propositional LogicLogical Operators - Implication

  20. Propositional LogicLogical Operators: bi-implication

  21. Propositional LogicLogical Operators: bi-implication

  22. Propositional LogicLogical Operators: bi-implication

  23. Propositional LogicTruth table of compound propositions

  24. Propositional LogicTruth table of compound propositionsPrecedence of logical operators , , , , 

  25. Propositional LogicTruth table of compound propositionsSome Examples

  26. Propositional LogicTruth table of compound propositionsSome Examples

  27. Propositional LogicTruth table of compound propositionsTranslating English Sentence into a Logical Expression

  28. Propositional LogicExample of use

  29. Propositional LogicExample of use on bit Sring

  30. Propositional LogicExample of use on bit Sring

  31. Propositional LogicExercices

  32. Propositional LogicCorrectionEx1

  33. Propositional LogicCorrectionEx2

  34. Propositional LogicCorrectionEx3

  35. Propositional Equivalences

  36. Propositional Equivalences

  37. Propositional EquivalencesAssignment 1 # solution

  38. Propositional EquivalencesExample

  39. Propositional Equivalences

  40. Propositional EquivalencesEquivalence Law

  41. Propositional EquivalencesEquivalence Law – Examples of use

  42. Propositional EquivalencesEquivalence Law – Exercise #1

  43. Propositional EquivalencesEquivalence Law – Exercise #2

  44. Predicates And Quantifiers - Predicates

  45. Predicates And Quantifiers - Predicates

  46. Predicates And Quantifiers - Predicates

  47. Predicates And Quantifiers - Predicates

  48. Predicates And Quantifiers - Quantifiers

  49. Predicates And Quantifiers

  50. Predicates And Quantifiers

More Related