A v B ~ A
A v B ~ A. B > C ~C. B > (C . P) B. / ~ B mt 1,2. / B ds 1,2. / C . P mp 1,2. ~~S R > ~S. A v B C > D. / ~ R mt 1,2. / (A v B) . (C > D) cn 1,2. A > (B. C) (B . C) > K . 1. (L > M) . (D v N). / L > M sm 1. / A > K hs 1,2. R . T premise
219 views • 10 slides