modus ponens
Sign in to saveAlso known as modus ponendo ponens, MP, implication elimination, affirming the antecedent
if X implies Y, and X is true, then Y is true
Also known as modus ponendo ponens, MP, implication elimination, affirming the antecedent
if X implies Y, and X is true, then Y is true