It:Modus ponens

From Free net encyclopedia