Logical Connectives

There are four basic types of compound statement in propositional logic, and the four connectives have special symbols, as indicated below.

Type
Connective
Statement Form
Conjunction (and)
pq
Negation (not)
~
~ p
Disjunction (or)
v
p v q
Conditional (if-then)
p q


Comprehension Questions

1 The symbol for conjunction is:
a)
b) v
c) ~
d) .
2 The symbol for disjunction is:
a)
b) v
c) ~
d) .
3 The symbol for negation is:
a)
b) v
c) ~
d) .
4 The symbol for the conditional is:
a)
b) v
c) ~
d) .
5 The last column in the conjunction truth table (from top to bottom) is:
pqp.q
TT
ConjunctionFT
TF
FF
a) TFFT
b) TFFF
c) TTTF
d) TTFT
6 The last column in the disjunction truth table (from top to bottom) is
pqpvq
TT
DisjunctionFT
TF
FF
a) TFFT
b) TFFF
c) TTTF
d) TTFT
7 The last column in the negation truth table (from top to bottom) is:
p~p
NegationT
F
a) TT
b) TF
c) FT
d) FF
8 The last column in the hypothetical truth table (from top to bottom) is:
pqp>q
TT
ConditionalFT
TF
FF
a) TTTF
b) TTFT
c) FFFT
d) TFTF
9 The last column in the biconditional truth table (from top to bottom) is:
pqpq
TT
BiconditionalFT
TF
FF
a) FTFT
b) TFFT
c) TTFF
d) FFTT


Statement Forms

© Copyright 1998, W.W. Norton & Co.