PrintForm
Definitions
sat
lemmas
Sections
ClassicalProps(jlc)
Doc
At:
formula
not
sat
lemma
F:Formula, a:Assignment. a |=
F
a |
F
By:
UnivCD
THEN
Analyze 0
Generated subgoals:
1
1.
F:
Formula
2.
a:
Assignment
a |=
F
a |
F
2
1.
F:
Formula
2.
a:
Assignment
a |=
F
a |
F
About:
a |= 
F 
a |
F a |= F 
a | F 
F:Formula, a:Assignment. a |= F a | F a |= F a | F a |= F a | F
