PrintForm
Definitions
sat
lemmas
Sections
ClassicalProps(jlc)
Doc
At:
formula
not
falsifiable
lemma
2
1.
F:
Formula
2.
a:
Assignment
a |
F
a |= F
By:
UnivCD
Generated subgoal:
1
3.
a |= F
a |
F
a |
F 
a |= F