>neg

Theorem. From a wff and its negation, anything is true.

Description:

Theorem 2.24 of Principia Mathematica, p. 104; pm2.24 in set.mm.

Arguments:

(pr), (pr),

Assertions:

(())

Proof:

Hyp	Ref	Line	Expr
	<neg	1	(())
1	com12i	2	(())