Predicate Logic – Natural Deduction (MP, MT, DS, QE)

Blah