At: formula and sat lemma 2 1
1. a: Assignment
2. q: Formula
3. r: Formula
4. n: 
5. (q under a) = n
6. m:
7. (r under a) = m
(n 
m = 3
) 
(n = 3 & m = 3)
By:
Thin -3
THEN
Thin -1
THEN
Repeat (ThreeInd -1)
THEN
AbReduce 0
Generated subgoals:None
About:
