PrintForm Definitions sat lemmas Sections ClassicalProps(jlc) Doc

At: formula imp sat lemma 1 2 2 1 1 1 1
1. a: Assignment
2. q: Formula
3. r: Formula
4. (r under a) = 3
5. x:
6. (q under a) = x

x 3 = 3
By:
ThreeInd -2
THEN
AbReduce 0
Generated subgoals:

None

About:
equal