8.4ex V
Logical Falsehood and Inconsistency

All the following require the derivation of a contradiction.