🌐EnglishEnglishBahasa IndonesiaDeutschEspañolFrançaisItalianoNederlandsPolskiPortuguêsSvenskaTürkçeРусскийالعربيةفارسی한국어中文日本語EntityQ655742· pop 31· linked from 197 articlesmodus ponensAlso known as modus ponendo ponens, MP, implication elimination, affirming the antecedentif X implies Y, and X is true, then Y is trueAvailable in 31 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsItalianoالعربيةBahasa IndonesiaBasqueConnectionsdouble negationEntitypropositionEntityCategoriesClassical logicLatin logical phrasesRules of inferenceTheorems in propositional logic