PrintForm
Definitions
sat
lemmas
Sections
ClassicalProps(jlc)
Doc
At:
formula
not
falsifiable
lemma
1
1
1
1
1
1
1.
F:
Formula
2.
a:
Assignment
3.
x:
4.
(F under a) = x
5.
x = 3
x = 3
By:
ThreeInd 3
Generated subgoals:
1
3.
(F under a) = 3
4.
3
= 3
3
= 3
2
3.
(F under a) = 3
4.
3
= 3
3
= 3
3
3.
(F under a) = 3
4.
3
= 3
3
= 3
About:
3 = 3
3 = 3
3 = 3 3 = 33 = 3 3 = 3
x = 3 x = 33 = 3 3 = 33 = 3 3 = 33 = 3 3 = 3