PrintForm Definitions sat lemmas Sections ClassicalProps(jlc) Doc

At: formula not sat lemma 2 1 1 1
1. F: Formula
2. a: Assignment
3. (F under a) = 3

(F under a) = 3
By:
HypSubst -1 0
THEN
Reduce 0
Generated subgoal:

1 3 = 3

About:
equal