Upload
alban
View
43
Download
0
Embed Size (px)
DESCRIPTION
De Morgan’s Laws – 2 - 9. De Morgan’s Laws – 2 - 9a. Proof – 2 - 16. Proof – 2 - 16d. Application – 2 - 10. Laws of Logic – 2 - 25. Laws of Logic – 2 - 25a. Laws of Logic – 2 - 25b. Laws of Logic – 2 - 25c. Laws of Logic – 2 - 25d. Application - 1. Example - 2. Exercise – 5. - PowerPoint PPT Presentation
Citation preview
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