Modus ponens

De Enciclopedia Symploké, la enciclopedia libre.

En latín, «modo que afirma».

Regla de inferencia que se halla en todos los cálculos deductivos y que se simboliza como

        A → B               Si A, entonces B.
        A                   A.       
        -----, que se lee   -----------------
        B                   Por tanto, B.

Esto significa que a partir de una fórmula condicional y su antecedente, podemos pasar a su consecuente.

Ejemplo: De las fórmulas p → (q ^ r) y p, podemos llegar a q ^ r. En lenguaje ordinario: Si el número cuatro es par, entonces es múltiplo de dos y su doble también es un número par; el número cuatro es un número par; por tanto, es múltiplo de dos y su doble también es un número par.

El modus ponens, como regla de inferencia primitiva del cálculo proposicional, también recibe el nombre de regla de eliminación del condicional.

enciclopedista

Valid XHTML 1.0 Transitional