At: formula imp falsifiable lemma 1 1 2 1 1 1 1 1
1. a: Assignment
2. q: Formula
3. r: Formula
4. (q under a) = 3
5. (r under a) = 3
6. 3
= 3
7. zz: 
case zz: 3 
0; 3
1; 3 2; = case zz: 3 0; 3 1; 3 2;
By:
ThreeInd -1
THEN
AbReduce 0
Generated subgoals:None
About:
