1. B > (C . D ) 2. R 3. B :. (C . D ) . R -------------------------------------- 4. C . D 1,3 Modus Ponens 5. (C . D) . R 4,2 Conjunction