014a: M.(Modus) Ponens, M. Tollens, Hypothetical S. (Syllogism), Disjunctive S.
Channel: ulogiq
Date: 2011-08-29

an introduction into the first four rules we'll be using in natural deduction

exercises/answers in 014b

send questions or comments to:

ulogiq@gmail.com