CvdB

    modus ponens

    .

    .

    Definición: Una regla de inferencia usada para probar la corrección o valor de verdad de proposiciones lógicas. Sean dos afirmaciones cualesquiera A y B. La forma de la regla es:

    A=>B, A
-------------
B
    Se sabe que si A es verdad, B tambien es verdad; además se sabe que A es verdad; con lo cual se infiere que B es verdad. Lo cual se escribe simbolicamente así: A => B, A. En un lenguaje más explícito se presenta una premisa 1 que es SI A, ENTONCES B acompañada de una premisa 2 que es A.

    Ejemplo: A es un teorema y B es su corolario.

    • modus tollens

    • lógica

    • inferencia

    • relación causal

    • lógica dicotómica

    • determinismo

    • forma lógica

    Glosario de Carlos von der Becke .

    1