Thms
sequent
falsification
Sections
ClassicalProps(jlc)
Doc
not
Def
A == A
False
Thm*
A:Prop. (
A)
Prop
About:
A == A 
False
A:Prop. (A) 
PropA == A False
