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