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
Connections
double negation
Entity
proposition
Entity
William Shakespeare
Person
Latin
Entity
Artificial intelligence
Concept
truth
Entity
Bertrand Russell
Entity
Ludwig Wittgenstein
Entity
International Standard Book Number
Entity
Thomas Hobbes
Entity
Hamlet
Entity
Georg Cantor
Entity
Kurt Gödel
Entity
stoicism
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
Alfred North Whitehead
Entity
Theophrastus
Entity
Q134661
Entity
list of Latin phrases
Entity