PrintForm Definitions ElisTarskiPf B Sections NuprlLIB Doc

At: prop iff contra

P:Prop. (P P) False

By:
Auto
THEN
ProveProp


Generated subgoals:

None

About:
propimpliesfalseall

PrintForm Definitions ElisTarskiPf B Sections NuprlLIB Doc