(3steps total)
PrintForm
Definitions
ElisTarskiPf
A
Sections
NuprlLIB
Doc
At:
qnot
subx
t,e:Term. SUBX(NOT(t); e) = NOT(SUBX(t; e))
By:
GenUnivCD
Generated subgoal:
1
1.
t:
Term
2.
e:
Term
SUBX(NOT(t); e) = NOT(SUBX(t; e))
2
steps
About:
(3steps total)
PrintForm
Definitions
ElisTarskiPf
A
Sections
NuprlLIB
Doc
SUBX(NOT(t); e) = NOT(SUBX(t; e))
t,e:Term. SUBX(NOT(t); e) = NOT(SUBX(t; e))
SUBX(NOT(t); e) = NOT(SUBX(t; e))
