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
Wikidata facts
- Instance of
- rule of inference
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0