PrintForm
Definitions
sat
lemmas
Sections
ClassicalProps(jlc)
Doc
At:
formula
not
falsifiable
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 
