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.
La regla condicional incluida en ambos textos es un Modus Ponens y por lo tanto la respuesta correcta es la afirmacion del consecuente: "los responsables del engano son culpables").
The second independent variable in the within-subject design was type of inference, with four levels: modus ponens, denial of antecedent, affirmation of consequent, modus tollens.
No es plausible ajustar ese ejemplo al caso de razonamiento modus ponens sin suponer aquello que se quiere probar.
The basic laws such as Modus Ponens correspond to the basic moves of intelligence.
At first glance, it might seem that the argument above works by straightforward factual detachment by modus ponens, with 2B providing the factual premise.
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.
Rips (1983, 1994) afirma que son mas dificiles de resolver los problemas que necesitan las reglas de introduccion de la negacion o del silogismo conjuntivo que los que requieren la conjuncion o del Modus Ponens.
1] sistema SMM-2 se obtiene a partir de CP, el cual coincide con SMM-1, pidiendo que los axiomas de CP sean verdades necesarias para los razonadores de profundidad-1, y que las verdades necesarias de tales razonadores se preserven con la regla de inferencia modus ponens, es decir, el razonador aplica la regla modus ponens.
Intentamos probar que, aunque el Estagirita no utiliza una terminologia propia para los esquemas logicos que analiza aqui, podemos interpretarlos como equivalentes al modus ponens, al modus tollens y a la afirmacion del consecuente en un condicional filoniano.
El mismo argumento justificador del modus ponens ejemplifica esta regla de inferencia en el metalenguaje.