PrintForm
Definitions
formula
falsification
Sections
ClassicalProps(jlc)
Doc
At:
sq
stable
formula
falsifiable
1
1.
a:
Assignment
2.
F:
Formula
3.
{True| (F under a) = 3
}
(F under a) = 3
By:
Analyze 3
THEN
Trivial
Generated subgoals:
None
About:
}
(F under a) = 3
