7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 1/54

Logic

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 2/54

Logic – 7

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 3/54

Statement – 8a

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 4/54

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 5/54

Examples – 8b

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 6/54

Truth Values of Propositions – 

8c

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 7/54

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 8/54

Statements & Truth Values – 

9bT 

T 

F 

F 

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 9/54

Not Propositions – 9c

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 10/54

Rule – 10a

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 11/54

Example – 10b

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 12/54

Example – 10c

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 13/54

Understanding Statements – 

11c

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 14/54

Example – 11b

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 15/54

Compound Statement – 12a

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 16/54

Symbolic Representation – 

13a

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 17/54

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 18/54

Logical Connectives – 14a

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 19/54

Examples – 14b

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 20/54

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 21/54

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 22/54

Translating from English to

Symbols – 16

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 23/54

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 24/54

Translating from English to

Symbols – 17b

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 25/54

Negation – 19

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 26/54

Truth Table for ~p – 20

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 27/54

Conjunction – 21

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 28/54

Truth Table for p ^ q – 22

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 29/54

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 30/54

Truth Table for p q – 15

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 31/54

Truth Table

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 32/54

Truth Table for ~p^q - 2

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 33/54

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 34/54

Truth Table for ~p^q – 2b

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 35/54

Truth Table for ~p^q – 2c

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 36/54

~p ^ (q v~ r) – (2 - 3a)

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 37/54

~p ^ (q v~ r) – 2 - 3b

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 38/54

~p ^ (q v~ r) – 2 - 3c

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 39/54

~p ^ (q v~ r) – 2 - 3d

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 40/54

Truth Table for ~p (p v~ q) – 2 - 3e  v

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 41/54

Truth Table for (pvq) ^~ (p^q) – 2 - 4a

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 42/54

Truth Table for (pvq) ^~ (p^q) – 2 -

4c

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 43/54

Truth Table for (pvq) ^~ (p^q) – 2 -

4e  v  v

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 44/54

Truth Table for (pvq) ^~ (p^q) – 2 -

4f 

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 45/54

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 46/54

Symbols for Exclusive OR – 2 - 5a

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 47/54

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 48/54

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 49/54

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 50/54

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 51/54

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 52/54

52

Conditional: why FF is True

 A: YES mathematically and YES by the

truth table.

Here’s a mathematical proof: 1. 0 = 1 (assumption)

2. 1 = 2 (added 1 to both sides)

3. 3 = 6 (multiplied both sides by 3)

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 53/54

53

Conditional: why FF is True

 A: YES mathematically and YES by the

truth table.

Here’s a mathematical proof: 1. 0 = 1 (assumption)

2. 1 = 2 (added 1 to both sides)

3. 3 = 6 (multiplied both sides by 3)

4. 0 = 3 (multiplied no. 1 by 3)

7/28/2019 lecture 2- Logic.ppt

http://slidepdf.com/reader/full/lecture-2-logicppt 54/54