PrintForm
Definitions
full
assignment
Sections
ClassicalProps(jlc)
Doc
At:
full
formula
assignment
properties
1
1
2
1.
F:
Formula
2.
a:
Assignment
3.
a |= F
a |
F
4.
Dec(a |= F
a |
F)
a |= F
a |
F
By:
UnhideSqStableHyp1 -2
Generated subgoals:
None
About:
a |
F a | F)
a |= F a | F