Como es sabido, el modus ponens tiene la formula (p q) ^ p q, y su tabla de verdad es la forma