Modus ponenes

MODUS PONENS


En lógica, modus ponendo ponens (en latín, modo que afirmando afirma), también llamado modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:
Si A, entonces B
A
Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del modus ponens podría ser:
Si está soleado, entonces es de día.
Está soleado.
Por lo tanto, esde día.

Otra manera más formal de presentar el modus ponens es:

Y aún otra manera es a través de la notación del cálculo de secuentes:

En la axiomatización de la lógica proposicional propuesta por Jan Łukasiewicz, el modus ponens es la única regla de inferencia primitiva. Esto ha motivado que mucha de la discusión en torno alproblema de la justificación de la deducción se haya centradoen la justificación del modus ponens.

Ejemplos
• Si Javier tiene rabia, es una nube.
Javier tiene rabia.
Por lo tanto, Javier es una nube

• Si está soleado, entonces es de día.
Está soleado.
Por lo tanto, es de día.

• Si tengo dinero entonces compro una bicicleta.
Tengo dinero.
Entonces compro una bicicleta
• Si las familiastienen hijos entonces aumenta la tasa de natalidad.
Las familias tienen hijos.
Por lo tanto aumenta la tasa de natalidad.

• Si el niño no duerme ocho horas entonces despertará cansado.
El niño no duerme ocho horas.
Por lo tanto despertará cansado.
.
MODUS PONENS


En lógica, modus ponendo ponens (en latín, modo que afirmando afirma), también llamadomodus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:
Si A, entonces B
A
Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del modus ponens podría ser:
Si está soleado, entonces es de día.
Está soleado.
Por lo tanto, es de día.

Otra manera más formal de presentar el modus ponens es:

Y aún otra manera es a través de lanotación del cálculo de secuentes:

En la axiomatización de la lógica proposicional propuesta por Jan Łukasiewicz, el modus ponens es la única regla de inferencia primitiva. Esto ha motivado que mucha de la discusión en torno alproblema de la justificación de la deducción se haya centrado en la justificación del modus ponens.

Ejemplos
• Si Javier tiene rabia, es una nube.Javier tiene rabia.
Por lo tanto, Javier es una nube

• Si está soleado, entonces es de día.
Está soleado.
Por lo tanto, es de día.

• Si tengo dinero entonces compro una bicicleta.
Tengo dinero.
Entonces compro una bicicleta
• Si las familias tienen hijos entonces aumenta la tasa de natalidad.
Las familias tienen hijos.
Por lo tanto aumenta la tasade natalidad.

• Si el niño no duerme ocho horas entonces despertará cansado.
El niño no duerme ocho horas.
Por lo tanto despertará cansado.
.
MODUS PONENS


En lógica, modus ponendo ponens (en latín, modo que afirmando afirma), también llamado modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:
SiA, entonces B
A
Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del modus ponens podría ser:
Si está soleado, entonces es de día.
Está soleado.
Por lo tanto, es de día.

Otra manera más formal de presentar el modus ponens es:

Y aún otra manera es a través de la notación del cálculo de secuentes:

En la axiomatización de la lógica proposicional propuesta por JanŁukasiewicz, el modus ponens es la única regla de inferencia primitiva. Esto ha motivado que mucha de la discusión en torno alproblema de la justificación de la deducción se haya centrado en la justificación del modus ponens.

Ejemplos
• Si Javier tiene rabia, es una nube.
Javier tiene rabia.
Por lo tanto, Javier es una nube

• Si está soleado, entonces es de día....