has an article on: <span class="searchmatch">modus</span> <span class="searchmatch">ponens</span> Wikipedia From Latin <span class="searchmatch">modus</span> ponendo <span class="searchmatch">ponens</span> (roughly, “mode where affirming affirms”). <span class="searchmatch">modus</span> <span class="searchmatch">ponens</span> (uncountable) (philosophy...
article on: <span class="searchmatch">modus</span> ponendo <span class="searchmatch">ponens</span> Wikipedia Borrowed from Latin <span class="searchmatch">modus</span> ponendo <span class="searchmatch">ponens</span> (roughly, “mode where affirming affirms”). <span class="searchmatch">modus</span> ponendo <span class="searchmatch">ponens</span> (uncountable)...
article on: <span class="searchmatch">modus</span> tollendo <span class="searchmatch">ponens</span> Wikipedia Borrowed from Latin <span class="searchmatch">modus</span> tollendō <span class="searchmatch">pōnēns</span> (roughly, “mode where negating confirms”). <span class="searchmatch">modus</span> tollendo <span class="searchmatch">ponens</span> (uncountable)...
If P, then Q. 2. Q. 3. Therefore P. modus ponens <span class="searchmatch">modus</span> tollens <span class="searchmatch">modus</span> ponendo <span class="searchmatch">ponens</span> <span class="searchmatch">modus</span> ponendo tollens <span class="searchmatch">modus</span> tollendo <span class="searchmatch">ponens</span> <span class="searchmatch">modus</span> tollendo tollens...
inference rule See also Thesaurus:argument form modus ponendo <span class="searchmatch">ponens</span> <span class="searchmatch">modus</span> tollendo <span class="searchmatch">ponens</span> <span class="searchmatch">modus</span> tollendo tollens Translations <span class="searchmatch">modus</span> tollendo <span class="searchmatch">ponens</span>...
non-P. 3. Therefore, non-Q. inference rule See also Thesaurus:argument form modus ponendo <span class="searchmatch">ponens</span> <span class="searchmatch">modus</span> ponendo tollens <span class="searchmatch">modus</span> tollendo <span class="searchmatch">ponens</span> Translations...
forward reasoning (uncountable) (philosophy, logic) In artificial intelligence, <span class="searchmatch">modus</span> <span class="searchmatch">ponens</span>....
antecedent. <span class="searchmatch">Modus</span> tollens has this form: 1. If P, then Q. 2. Not Q. 3. Therefore, not P. inference rule See also Thesaurus:argument form <span class="searchmatch">modus</span> <span class="searchmatch">ponens</span> a valid...
a formal language in a truth-preserving manner (to yield new well-formed formulas). <span class="searchmatch">modus</span> <span class="searchmatch">ponens</span> <span class="searchmatch">modus</span> tollens existential instantiation formal system...
"<span class="searchmatch">modus</span>" est <span class="searchmatch">modus</span> in rebus <span class="searchmatch">modus</span> morons <span class="searchmatch">modus</span> operandi <span class="searchmatch">modus</span> operandum <span class="searchmatch">modus</span> operandus <span class="searchmatch">modus</span> ponendo <span class="searchmatch">ponens</span> <span class="searchmatch">modus</span> ponendo tollens <span class="searchmatch">modus</span> <span class="searchmatch">ponens</span> <span class="searchmatch">modus</span> tollendo...