At: formula or 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
THEN
Analyze 0
THEN
Analyze -1
Generated subgoals:| 1 | 4. 3 = 3
3 = 3 |
| 2 | 4. 3 = 3
3 = 3 |
About:
