Report - Lecture 17:Inference - The University of Edinburgh · modus tollendo tollens ¬AA_ B B modus tollendo ponens A ¬(A ^ B) ¬B modus ponendo tollens AA! B B modus ponendo ponens Can

Please pass captcha verification before submit form