CS-7081 Application - 1

CS-7082 Example - 2

CS-7083 Simplifying a Statement – 3

CS-7084 Distributive Law in Reverse – 4

CS-7085 Exercise – 5

CS-7086 Exercise - 5a

CS-7087 Conditional Statements - 6

CS-7088 Conditional Statements – 6a

CS-7089 Truth Table for p  q - 8

CS Conditional Statements or Implications - 7

CS Conditional Statements OR Implications – 7a

CS Example – 9

CS Alternative Ways of Expressing Implications – 10

CS Alternative Ways of Expressing Implications – 10a

CS Exercise - 11

CS Exercise – 11a

CS Translating English Sentences to Symbols - 12

CS Translating English Sentences to Symbols – 12a

CS Translating English Sentences to Symbols – 12b

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

CS Translating Symbolic Propositions to English – 13

CS Translating Symbolic Propositions to English – 13a

CS Translating Symbolic Propositions to English – 13b

CS Hierarchy of Operations for Logical Connectives - 14

CS Truth Table for p v ~ q  ~ p – 20a

CS Truth Table for p v ~ q  ~ p – 20b

CS (p  q) (~p  r) - 21

CS (p  q) (~p  r) – 21a

CS (p  q) (~p  r) – 21c

CS p  q ≡ ~q  ~p- 22

CS Implication Law – 23

CS Negation of a Conditional Statement - 15

CS Examples – (3 - 16)

CS Example – 16a

CS Inverse of a Conditional Statement - 24

CS p  q is not equivalent to ~p  ~q – (3 – 25)

CS Writing Inverse – 17

CS Writing Inverse – 17a

CS Converse of a Conditional Statement - 26

CS Converse of a conditional Statement – (3 – 27)

CS Writing Converse – 18

CS Writing Converse – 18a

CS Contrapositive of a Conditional Statement– 28

CS Writing Contrapositivity – 19

CS Writing Contrapositivity – 19a