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 Logic Logical Operators (Connectives)

7. Propositional Logic Logical Operators - Negation

8. Propositional Logic Logical Operators - Negation

9. Propositional Logic Logical Operators - Conjunction

10. Propositional Logic Logical Operators - Conjunction

11. Propositional Logic Logical Operators - Disjunction

12. Propositional Logic Logical Operators - Disjunction

13. Propositional Logic Logical Operators - Disjunction

14. Propositional Logic Logical Operators - Disjunction

15. Propositional Logic Logical Operators - Implication

16. Propositional Logic Logical Operators - Implication

17. Propositional Logic Logical Operators - Implication

18. Propositional Logic Logical Operators - Implication

19. Propositional Logic Logical Operators - Implication

20. Propositional Logic Logical Operators: bi-implication

21. Propositional Logic Logical Operators: bi-implication

22. Propositional Logic Logical Operators: bi-implication

23. Propositional Logic Truth table of compound propositions

24. Propositional Logic Truth table of compound propositions Precedence of logical operators
, , , , 

25. Propositional Logic Truth table of compound propositions Some Examples

26. Propositional Logic Truth table of compound propositions Some Examples

27. Propositional Logic Truth table of compound propositions Translating English Sentence into a Logical Expression

28. Propositional Logic Example of use

29. Propositional Logic Example of use on bit Sring

30. Propositional Logic Example of use on bit Sring

31. Propositional Logic Exercices

32. Propositional Logic Correction Ex1

33. Propositional Logic Correction Ex2

34. Propositional Logic Correction Ex3

35. Propositional Equivalences

36. Propositional Equivalences

37. Propositional Equivalences Assignment 1 # solution

38. Propositional Equivalences Example

39. Propositional Equivalences

40. Propositional Equivalences Equivalence Law

41. Propositional Equivalences Equivalence Law – Examples of use

42. Propositional Equivalences Equivalence Law – Exercise #1

43. Propositional Equivalences Equivalence 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

51. Predicates And Quantifiers

52. Predicates And Quantifiers

53. Predicates And Quantifiers

54. Predicates And Quantifiers

55. Predicates And Quantifiers

56. Predicates And Quantifiers

57. Predicates And Quantifiers

58. Predicates And Quantifiers

59. Predicates And Quantifiers

60. Predicates And Quantifiers

61. Predicates And Quantifiers

62. Logical equivalence involving quantifiers

63. Logical equivalence involving quantifiers

64. Logical equivalence involving quantifiers

65. Negating quantified expression

66. Negating quantified expression

67. Negating quantified expression

68. Negating quantified expression De Morgan’s laws for quantifiers

69. Negating quantified expression Examples: what are the negation of

70. Negating quantified expression

71. Nested Quantifiers

72. Nested Quantifiers

73. Nested Quantifiers

74. Nested Quantifiers