MIDTERM EXAM ANSWERS

Note: I will use ">" to represent the horseshoe.

Section1:

1)True
2)False
3)True
4)False
5)False

6) the "•"
7) the "~"
8) the first ">"
9) the "•"
10) the "@"

Section 2:

1) ~R > (M v ~M), or ~R > (M > M), or ~R > (~M > ~M)
2) (~R v P) • (M > ~P), or (~~R > P) • (M > ~P)
3) ((R v P) > ~ M) • (P @ R)
4) M @ ~(P v R)

Section 3:

1) Valid : rows 2 and have a false conclusion, but premise two also ends up being false in those rows.
2) Invalid: rows 5 and 6 are both counterexamples.
3) Invalid: rows 12 and 16 are both counterexamples.

Section 4:

1) Invalid: p=F, q=F, r=F
2) Invalid: p=F, q=F, r=F, s=F, t=F, u=F
3) Valid

Section 5:

1) Contradiction
2) Statements (A) and (B) are logically equivalent to one another.

 

Back to handouts page