Modus Ponens
Natural & Formal Sciences Dictionary
Definición
Regla de inferencia fundamental: a partir de 'Si P entonces Q' (P → Q) y 'P', inferir 'Q'. Es la regla de desprendimiento primaria usada para aplicar condicionales y obtener consecuentes.
Modus Ponens
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Una regla válida fundamental de inferencia que establece que a partir de las premisas A → B y A se puede deducir B; a menudo formulada como 'si A entonces B; A; por tanto B.'