de morgan’s laws – 2 - 9

CS-708 1

De Morgan’s Laws – 2 - 9

CS-708 2

De Morgan’s Laws – 2 - 9a

CS-708 3

Proof – 2 - 16

CS-708 4

Proof – 2 - 16d

CS-708 5

Application – 2 - 10

CS-708 6

Laws of Logic – 2 - 25

CS-708 7

Laws of Logic – 2 - 25a

CS-708 8

Laws of Logic – 2 - 25b

CS-708 9

Laws of Logic – 2 - 25c

CS-708 10

Laws of Logic – 2 - 25d

CS-708 11

Application - 1

CS-708 12

Example - 2

CS-708 13

Exercise – 5

CS-708 14

Conditional Statements - 6

CS-708 15

Conditional Statements – 6a

CS-708 16

Truth Table for p q - 8

CS-708 17

Conditional Statements or Implications - 7

CS-708 18

Conditional Statements OR Implications – 7a

CS-708 19

Example – 9

CS-708 20

Alternative Ways of Expressing Implications – 10

CS-708 21

Alternative Ways of Expressing Implications – 10a

CS-708 22

Exercise - 11

CS-708 23

Exercise – 11a

CS-708 24

Translating English Sentences to Symbols - 12

CS-708 25

Translating English Sentences to Symbols – 12a

CS-708 26

Translating English Sentences to Symbols – 12b

CS-708 27

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

CS-708 28

Translating Symbolic Propositions to English – 13

CS-708 29

Translating Symbolic Propositions to English – 13a

CS-708 30

Translating Symbolic Propositions to English – 13b

CS-708 31

Hierarchy of Operations for Logical Connectives - 14

CS-708 32

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

CS-708 33

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

CS-708 34

(p q) (~p r) - 21

CS-708 35

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

CS-708 36

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

CS-708 38

p q ≡ ~q ~p- 22

CS-708 39

Implication Law – 23

CS-708 40

Negation of a Conditional Statement - 15

CS-708 41

Examples – (3 - 16)

CS-708 42

Example – 16a

CS-708 43

Inverse of a Conditional Statement - 24

CS-708 44

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

CS-708 45

Writing Inverse – 17

CS-708 46

Writing Inverse – 17a

CS-708 47

Converse of a Conditional Statement - 26

CS-708 48

Converse of a conditional Statement – (3 – 27)

CS-708 49

Writing Converse – 18

CS-708 50

Writing Converse – 18a

CS-708 51

Contrapositive of a Conditional Statement– 28

CS-708 52

Writing Contrapositivity – 19

CS-708 53

Writing Contrapositivity – 19a

CS-708 54

Biconditional - 2

CS-708 55

Truth Table for p <--> - 3

CS-708 56

Examples – 4a

CS-708 57

Examples – 4b

CS-708 58

p q = (p q) (q p) – 5av

CS-708 59

p q = (p q) (q p) – 5bv

CS-708 60

p q = (p q) (q p) – 5cv

– 5c

CS-708 61

vp q = (p q) (q p) – 5

CS-708 62

Rephrasing Biconditional - 6

CS-708 63

Examples – 9

CS-708 64

Examples – 9a

CS-708 65

Examples – 9b

CS-708 66

Examples – 9c

CS-708 67

Truth table for (p q) (~q ~p) – 7a

CS-708 68

Truth table for (p q) (~q ~p) – 7b

CS-708 69

Truth table for (p q) (~q ~p) – 7c

CS-708 70

Truth table for (p q) (~q ~p) – 7

CS-708 72

(p q) (r q) – 8

CS-708 73

(p q) (r q) – 8b

CS-708 74

(p q) (r q) – 8c

CS-708 75

(p q) (r q) – 8d

CS-708 76

(p q) (r q) – 8

CS-708 77

p ~ r q v r – 10v

CS-708 78

p ~ r q v r – 10bv

CS-708 79

p ~ r q v r – 10cv

CS-708 80

p ~ r q v r – 10dv

CS-708 81

p ~ r q v r – 10ev

CS-708 82

Show that ~p q ≡ p ~q – 11a

CS-708 83

Show that ~p q ≡ p ~q – 11b

CS-708 84

Show that ~p q ≡ p ~q – 11

CS-708 85

Show that ~p q ≡ p ~q – 11c

CS-708 86

Show that ~(p + q) ≡ p q – 12b

CS-708 87

Show That - 1(4 - 2c)

CS-708 88

Show that ~(p + q) ≡ p q – 12d

CS-708 89

Show that ~(p + q) ≡ p q – 12

CS-708 90

Laws of Logic – 14

CS-708 91

Laws of Logic - 14a

CS-708 92

Application – 15

CS-708 93

Application – 15b

CS-708 94

Exercise - 17

CS-708 95

Exercise – 17a

CS-708 96

Exercise – 17b