9/22/20

1

1,

Mustafa Jarrar: Lecture Notes in Discrete Mathematics.Birzeit University, Palestine, 2017

mjarrar©2015

Propositional Logic

2.1. Introduction and Basics2.2 Conditional Statements 2.3 Inferencing

1

2,

Watch this lecture and download the slides

Acknowledgement: This lecture is based on (but not limited to) to chapter 2 in “Discrete Mathematics with Applications by Susanna S. Epp (3rd Edition)”.

More Online Courses at: http://www.jarrar.infoCourse Page: http://www.jarrar.info/courses/DMath/

2

9/22/20

2

3,

Proposition

3

4,

Negation

4

9/22/20

3

5,

Conjunction

5

6,

Disjunction

6

9/22/20

4

7,

p ⊕q or p XOR q

Truth Table for Exclusive Or

(p∨q)∧ ∼(p∧q)

7

8,

Logical Equivalence

8

9/22/20

5

9,

Logical Equivalence

9

10,

Negations of And and Or: De Morgan’s Laws

10

9/22/20

6

11,

Tautologies and Contradictions

11

12,

Summary of Logical Equivalences

12

9/22/20

7

13,

Simplifying Statement Forms

∼(∼p∧q) ∧ (p∨q) ≡ p

13