What is Modus ponens?
'''Modus ponendo ponens''' <ref>[[Latin]]: ''mode that affirms by affirming''. {{cite book | last=Stone | first=Jon R. | year=1996 | title=Latin for the illiterati: exorcizing the ghosts of a dead language | url=https://archive.org/details/latinforillitera0000ston | publisher=London, UK: Routledge: 60.}}</ref> is a [[valid]], simple [[argument form]] in classical [[logic]] sometimes referred to as '''affirming the antecedent''' or '''the law of detachment'''. It is closely related to another valid form of argument, ''[[modus tollens]]'' or ''[[denying the consequent]]''. ''Modus ponens'' is a very common [[rule of inference]], and takes the following form: :If P, then Q. :P. :Therefore, Q.<ref>{{cite book|title=Formal logic|last=Jago|first=Mark|publisher=Humanities-Ebooks LLP|year=2007|isbn=978-1-84760-041-7}}</ref> == Related pages == *[[Modus tollens]] *[[Syllogism]] == References == {{Reflist}} {{stub}} [[Category:Rules of inference]]