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

---

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