Section 1.2
#27, p. 32
Given:
P
,
P
'. Claim:
Q
Table:
From an inconsistency, all else follows!
