STUDY
GUIDES:
|
TEST 2
|
TEST 3
Chapter: 1 |
4 |
5 |
6
| 7
6.1 PROPOSITIONAL
LOGIC
Propositional
logic is about propositions – not terms.
Propositions
(statements) are represented by capital letters.
Operators/connectives join
simple statements, and make compound propositions. See
(p291)
Simple Propositions:
John loves Kate.
Kate loves John.
|
Compound Propositions |
Form |
Operator |
Function |
Definition |
| |
Name |
|
Jon loves Kate
and
Kate loves Jon.
left conjunct right conjunct |
J
•
K |
• |
dot |
conjunction |
p |
q |
p
•
q |
T
T
F
F |
T
F
T
F |
T
F
F
F
|
|
Jon loves Kate
or
Kate loves Jon.
left disjunct right disjunct |
J
v
K |
v |
wedge |
disjunction |
p |
q |
p
v
q |
|
T
T
F
F
|
T
F
T
F
|
T
T
T
F
|
|
If
Jon loves Kate
then Kate loves Jon.
antecedent consequent |
J
⊃
K |
⊃ |
horseshoe |
implication |
p |
q |
p
⊃
q |
|
T
T
F
F
|
T
F
T
F
|
T
F
T
T
|
|
Jon loves Kate
if and only if
Kate loves Jon. |
J
≡
K |
≡ |
triple bar |
equivalence |
p |
q |
p
≡
q |
T
T
F
F
|
T
F
T
F
|
T
F
T
T
|
|
It is not the case that Jon loves Kate. |
~J |
~ |
tilde |
negation |
p |
~p |
|
T
F |
F
T |
