or-false

Theorem.

Arguments:

(pr), (pr),

Assertions:

((()))

Proof:

Hyp	Ref	Line	Expr
	im-true	1	((()))
	df-or	2	(()())
1, 2	rpb33<>	3	((()))