Slide 1Slide 21 Small(a) Small(b) Proof 8.532 Small(b) (SameSize(b,c) Small(c))3 ¬Small(a) (Large(a) ᴧ Large(c))4 SameSize(b,c)5 ¬(Small(a) ᴠ ¬Small(a))6 Small(a) 7 Small(a) ᴠ ¬Small(a) ᴠ Intro: 68 ⊥ ⊥ Intro: 5,79 ¬Small(a) ¬ Intro: 6-810 ¬Small(a) 11 Small(a) ᴠ ¬Small(a) ᴠ Intro: 1012 ⊥ ⊥ Intro: 5, 1113 ¬¬Small(a) ¬ Intro: 10-1214 Small(a) ¬ Elim: 1315 ⊥ ⊥ Intro: 9, 1416 Small(a) ᴠ ¬Small(a) ¬ Intro: 5-1517 Small(a)18 Small(b) Elim: 1,1719 SameSize(b,c) Small(c) Elim: 2, 1820 Small(c) Elim: 4, 1921 Large(c) ᴠ Small(c) ᴠ Intro: 2022 ¬Small(a)23 Large(a) ᴧ Large(c) Elim: 3, 2224 Large(c) ᴧ Elim: 2325 Large(c) ᴠ Small(c) ᴠ Intro: 2426 Large(c) ᴠ Small(c) ᴠ Elim: 16, 17-21, 22-2527 SameSize(b,c) (Large(c) ᴠ Small(c)) Intro:
View Full Document