PrintForm
Definitions
formula
satisfaction
Sections
ClassicalProps(jlc)
Doc
At:
decidable
formula
sat
1
1.
a:
Assignment
2.
f:
Formula
Dec((f under a) = 3
)
By:
ProveDecidable
Generated subgoals:
None
About:
Dec((f under a) = 3
)