Professional Documents
Culture Documents
CS-708 1
Statement – 8a
CS-708 2
Examples – 8b
CS-708 3
Truth Values of Propositions –
8c
CS-708 4
Examples – 9a
CS-708 5
Statements & Truth Values –
9b
T
T
F
F
CS-708 6
Not Propositions – 9c
CS-708 7
Rule – 10a
CS-708 8
Example – 10b
CS-708 9
Example – 10c
CS-708 10
Understanding Statements –
11c
CS-708 11
Example – 11b
CS-708 12
Compound Statement – 12a
CS-708 13
Symbolic Representation –
13a
CS-708 14
Logical Connectives – 14a
CS-708 15
Examples – 14b
CS-708 16
Translating from English to
Symbols – 15
CS-708 17
Translating from English to
Symbols – 16a
CS-708 18
Translating from English to
Symbols – 16
CS-708 19
Translating from English to
Symbols – 17a
CS-708 20
Translating from English to
Symbols – 17b
CS-708 21
Negation – 19
CS-708 22
Truth Table for ~p – 20
CS-708 23
Conjunction – 21
CS-708 24
Truth Table for p ^ q – 22
CS-708 25
Disjunction – 23
CS-708 26
Truth Table for p q – 15
CS-708 27
Truth Table
CS-708 28
Truth Table for ~p^q - 2
CS-708 29
Truth Table for ~p^q – 2a
CS-708 30
Truth Table for ~p^q – 2b
CS-708 31
Truth Table for ~p^q – 2c
CS-708 32
~p ^ (q v~ r) – (2 - 3a)
CS-708 33
~p ^ (q v~ r) – 2 - 3b
CS-708 34
~p ^ (q v~ r) – 2 - 3c
CS-708 35
~p ^ (q v~ r) – 2 - 3d
CS-708 36
Truth Table for ~p (p v~ q) – 2 - 3e
v
CS-708 37
Truth Table for (pvq) ^~ (p^q) – 2 - 4a
CS-708 38
Truth Table for (pvq) ^~ (p^q) – 2 -
4c
CS-708 39
Truth Table for (pvq) ^~ (p^q) – 2 -
v v
4e
CS-708 40
Truth Table for (pvq) ^~ (p^q) – 2
-4f
CS-708 41
Exclusive OR – 2 - 5
CS-708 42
Symbols for Exclusive OR – 2 - 5a
CS-708 43
Logical Equivalence – 2 - 6
CS-708 44
Double Negation ~(~p) ≡ p – 2 - 7
CS-708 45
Examples – 2 - 12
CS-708 46
Example – 2 - 17c
CS-708 47
Example – 2 - 17d
CS-708 48
Example – 2 - 17e
CS-708 49
De Morgan’s Laws – 2 - 9
CS-708 50
De Morgan’s Laws – 2 - 9a
CS-708 51
Proof – 2 - 16
CS-708 52
Proof – 2 - 16d
CS-708 53
Application – 2 - 10
CS-708 54
Exercise – 2 - 19
CS-708 55
Tautology – 2 - 21
CS-708 56
Example – 2 - 21a
CS-708 57
Contradiction – 2 - 22
CS-708 58
Example – 2 - 22a
CS-708 59
Exercise – 2 - 23
CS-708 60
Exercise – 2 - 24
CS-708 61
Laws of Logic – 2 - 25
CS-708 62
Laws of Logic – 2 - 25a
CS-708 63
Laws of Logic – 2 - 25b
CS-708 64
Laws of Logic – 2 - 25c
CS-708 65
Laws of Logic – 2 - 25d
CS-708 66
Application - 1
CS-708 67
Example - 2
CS-708 68
Simplifying a Statement – 3
CS-708 69
Distributive Law in Reverse – 4
CS-708 70
Exercise – 5
CS-708 71
Exercise - 5a
CS-708 72
Conditional Statements - 6
CS-708 73
Conditional Statements – 6a
CS-708 74
Truth Table for p q - 8
CS-708 75
Conditional Statements or
Implications - 7
CS-708 76
Conditional Statements OR
Implications – 7a
CS-708 77
Example – 9
CS-708 78
Alternative Ways of Expressing
Implications – 10
CS-708 79
Alternative Ways of Expressing Implications – 10a
CS-708 80
Exercise - 11
CS-708 81
Exercise – 11a
CS-708 82
Translating English Sentences to
Symbols - 12
CS-708 83
Translating English Sentences to
Symbols – 12a
CS-708 84
Translating English Sentences to
Symbols – 12b
CS-708 85
Translating English Sentences to
Symbols – (3 – 12c)
CS-708 86
Translating Symbolic Propositions
to English – 13
CS-708 87
Translating Symbolic Propositions
to English – 13a
CS-708 88
Translating Symbolic Propositions
to English – 13b
CS-708 89
Hierarchy of Operations for Logical
Connectives - 14
CS-708 90
Truth Table for p v ~ q ~ p – 20a
CS-708 91
Truth Table for p v ~ q ~ p – 20b
CS-708 92
(p q) (~p r) - 21
CS-708 93
(p q) (~p r) – 21a
CS-708 94
(p q) (~p r) – 21c
CS-708 95
p q ≡ ~q ~p- 22
CS-708 96
Implication Law – 23
CS-708 97
Negation of a Conditional
Statement - 15
CS-708 98
Examples – (3 - 16)
CS-708 99
Example – 16a
CS-708 100
Inverse of a Conditional Statement
- 24
CS-708 101
p q is not equivalent to ~p ~q
– (3 – 25)
CS-708 102
Writing Inverse – 17
CS-708 103
Writing Inverse – 17a
CS-708 104
Converse of a Conditional
Statement - 26
CS-708 105
Converse of a conditional
Statement – (3 – 27)
CS-708 106
Writing Converse – 18
CS-708 107
Writing Converse – 18a
CS-708 108
Contrapositive of a Conditional
Statement– 28
CS-708 109
Writing Contrapositivity – 19
CS-708 110
Writing Contrapositivity – 19a
CS-708 111
Biconditional - 2
CS-708 112
Truth Table for p <--> - 3
CS-708 113
Examples – 4a
CS-708 114
Examples – 4b
CS-708 115
p q = (p q) (q p) – 5a
v
CS-708 116
p q = (p q) (q p) – 5b
v
CS-708 117
p q = (p q) (q p) – 5c
v
– 5c
CS-708 118
p q = (p q) (q p) – 5
v
CS-708 119
Rephrasing Biconditional - 6
CS-708 120
Examples – 9
CS-708 121
Examples – 9a
CS-708 122
Examples – 9b
CS-708 123
Examples – 9c
CS-708 124
Truth table for (p q) (~q
~p) – 7a
CS-708 125
Truth table for (p q) (~q
~p) – 7b
CS-708 126
Truth table for (p q) (~q
~p) – 7c
CS-708 127
Truth table for (p q) (~q
~p) – 7
CS-708 128
(p q) (r q) – 8
CS-708 129
(p q) (r q) – 8b
CS-708 130
(p q) (r q) – 8c
CS-708 131
(p q) (r q) – 8d
CS-708 132
(p q) (r q) – 8
CS-708 133
p ~r q v r – 10
v
CS-708 134
p ~r q v r – 10b
v
CS-708 135
p ~r q v r – 10c
v
CS-708 136
p ~r q v r – 10d
v
CS-708 137
p ~r q v r – 10e
v
CS-708 138
Show that ~p q≡p ~q – 11a
CS-708 139
Show that ~p q≡p ~q – 11b
CS-708 140
Show that ~p q≡p ~q – 11
CS-708 141
Show that ~p q≡p ~q – 11c
CS-708 142
Show that ~(p + q) ≡ p q – 12b
CS-708 143
Show That - 1(4 - 2c)
CS-708 144
Show that ~(p + q) ≡ p q – 12d
CS-708 145
Show that ~(p + q) ≡ p q – 12
CS-708 146
Laws of Logic – 14
CS-708 147
Laws of Logic - 14a
CS-708 148
Application – 15
CS-708 149
Application – 15b
CS-708 150
Exercise - 17
CS-708 151
Exercise – 17a
CS-708 152
Exercise – 17b
CS-708 153