Section 1.2

#18, p. 31

Given: P, P'. Claim: Q

  
Table: From an inconsistency, all else follows!

• About this document ...