022a Introduction to conditional proof - Symbolic Logic - Natural Deduction
Channel: ulogiq
Date: 2012-10-09

This video introduces the concept of conditional proof and compares them to the natural deduction method that's been utilized earlier.

EDIT: There's a typo at 6:47. I said you get R through 1, 2 MP, but I meant you get R through 1, 3, MP.