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:
 p q p.q T T Conjunction F T T F F F
a) TFFT
b) TFFF
c) TTTF
d) TTFT
6 The last column in the disjunction truth table (from top to bottom) is
 p q pvq T T Disjunction F T T F F F
a) TFFT
b) TFFF
c) TTTF
d) TTFT
7 The last column in the negation truth table (from top to bottom) is:
 p ~p Negation T F
a) TT
b) TF
c) FT
d) FF
8 The last column in the hypothetical truth table (from top to bottom) is:
 p q p>q T T Conditional F T T F F F
a) TTTF
b) TTFT
c) FFFT
d) TFTF
9 The last column in the biconditional truth table (from top to bottom) is:
 p q pq T T Biconditional F T T F F F
a) FTFT
b) TFFT
c) TTFF
d) FFTT

Statement Forms