PrintForm
Definitions
formula
satisfaction
Sections
ClassicalProps(jlc)
Doc
At:
sq
stable
formula
sat
1
1.
a:
Assignment
2.
F:
Formula
3.
((F under a) = 3
)
(F under a) = 3
By:
Unfold `squash` 3
Generated subgoal:
1
3.
{True| (F under a) = 3
}
(F under a) = 3
About:
}
(F under a) = 3
((F under a) = 3) (F under a) = 3} (F under a) = 3