Application 1 CS708 1 Example 2 CS708 2

Application - 1 CS-708 1

Example - 2 CS-708 2

Simplifying a Statement – 3 CS-708 3

Distributive Law in Reverse – 4 CS-708 4

Exercise – 5 CS-708 5

Exercise - 5 a CS-708 6

Conditional Statements - 6 CS-708 7

Conditional Statements – 6 a CS-708 8

Truth Table for p q - 8 CS-708 9

Conditional Statements or Implications - 7 CS-708 10

Conditional Statements OR Implications – 7 a CS-708 11

Example – 9 CS-708 12

Alternative Ways of Expressing Implications – 10 CS-708 13

Alternative Ways of Expressing Implications – 10 a CS-708 14

Exercise - 11 CS-708 15

Exercise – 11 a CS-708 16

Translating English Sentences to Symbols - 12 CS-708 17

Translating English Sentences to Symbols – 12 a CS-708 18

Translating English Sentences to Symbols – 12 b CS-708 19

Translating English Sentences to Symbols – (3 – 12 c) CS-708 20

Translating Symbolic Propositions to English – 13 CS-708 21

Translating Symbolic Propositions to English – 13 a CS-708 22

Translating Symbolic Propositions to English – 13 b CS-708 23

Hierarchy of Operations for Logical Connectives - 14 CS-708 24

Truth Table for p v ~ q ~ p – 20 a CS-708 25

Truth Table for p v ~ q ~ p – 20 b CS-708 26

(p q) (~p r) - 21 CS-708 27

(p q) (~p r) – 21 a CS-708 28

(p q) (~p r) – 21 c CS-708 29

p q ≡ ~q ~p- 22 CS-708 30

Implication Law – 23 CS-708 31

Negation of a Conditional Statement - 15 CS-708 32

Examples – (3 - 16) CS-708 33

Example – 16 a CS-708 34

Inverse of a Conditional Statement - 24 CS-708 35

p q is not equivalent to ~p ~q – (3 – 25) CS-708 36

Writing Inverse – 17 CS-708 37

Writing Inverse – 17 a CS-708 38

Converse of a Conditional Statement - 26 CS-708 39

Converse of a conditional Statement – (3 – 27) CS-708 40

Writing Converse – 18 CS-708 41

Writing Converse – 18 a CS-708 42

Contrapositive of a Conditional Statement– 28 CS-708 43

Writing Contrapositivity – 19 CS-708 44

Writing Contrapositivity – 19 a CS-708 45