File:Modus ponens logical form.jpg