CvdB con la colaboración de Eduardo Grondona

    modus tollens

    Definición: Regla de inferencia usada para probar la corrección o el valor de verdad para proposiciones lógicas.Sean A y B dos afirmaciones genéricas cualesquiera. La forma de la regla puede abarcar A, B y otras más. Aquí se ejemplifica con A y B:

    A=>B, ~B
    ------------
    ~A
    
    En lenguaje más explícito se podría señalar una premisa 1 que es si A entonces B y una premisa 2 que es no B, entonces la conclusión es no A. Dicho de nuevo, se sabe que cuando A es verdad, B es verdad. Se sabe tambien que B no es verdad. Se puede inferir que A no es verdad.

    Interesante es el caso simétrico de una doble negación, otra forma que contiene solamente A y B:

    ~A=>B, ~B
    -------------
    A
    

    • modus ponens

    • lógica

    • inferencia

    • relación causal

    • lógica dicotómica

    • determinismo

    • forma lógica

    22.jul.1998

    Pulsar tecla de vuelta

    Vuelta a Portada


    Glosario de Carlos von der Becke.