modus ponens


Also found in: Acronyms, Wikipedia.
Related to modus ponens: Disjunctive syllogism

modus ponens

(ˈməʊdəs ˈpəʊˌnɛnz)
n
(Logic) logic the principle that whenever a conditional statement and its antecedent are given to be true its consequent may be validly inferred, as in if it's Tuesday this must be Belgium and it's Tuesday so this must be Belgium
[literally: mood that affirms]
Mentioned in ?
References in periodicals archive ?
Inspired by the intuitionistic fuzzy multiple modus ponens, we exchange the positions of historical data and intuitionistic fuzzy sets [A.sub.i] (i = 1, 2, ..., r) in the IFTS model; that is, let the historical data be intuitionistic fuzzy sets, noted as [F.sub.i] (j = 1, 2, ..., t), and let [A.sub.i] be the elements in [F.sub.j], and let [mathematical expression not reproducible] and [mathematical expression not reproducible] be the membership and nonmembership of [A.sub.i] to [F.sub.j].
MP = modus ponens, AC = affirmation of the consequent, MT = modus tollens, DA = denial of antecedent.
Using both values of facts, it is possible to conclude (by conditionals and the modus ponens rule) new facts which can also adopt both truth values.
At first glance, it might seem that the argument above works by straightforward factual detachment by modus ponens, with 2B providing the factual premise.
In the People in Cities format, the if-then statement described two hypothetical individuals who were always located in actual US cities, such as "If Alice is in Nashville, then Bob is in San Francisco." In the Imaginary Blackboard format, the if-then statement described the presence of specific numbers on an unseen blackboard such as "If there is a 2 written on the blackboard, then there is a 7 written on the blackboard." Each group of eight problems contained two problems that were representative of each of the four conditional reasoning processes, Modus Ponens (MP), Modus Tollens (MT), Denying the Antecedent (DA) and Affirming the Consequent (AC).
Cada uno de los cuadernillos resultaba de la aplicacion del siguiente diseno 2x2x3: planteamiento del problema siguiendo un tipo de inferencia en Modus Ponens o Modus Tollens, item con correlacion positiva o negativa con el factor de personalidad correspondiente y combinacion de item referido al rasgo en que se obtenia la puntuacion mas alta, aquel en que se obtenia la mas baja (este es el unico factor de replicacion intergrupal) y problemas control no relacionados directamente con caracteristicas de personalidad.