¿Cuál es el significado de modus ponens?

Modus ponens es la regla de inferencia que de una declaración

[matemáticas] \ qquad P [/ matemáticas]

y una declaración

[matemáticas] \ qquad P \ a Q [/ matemáticas]

puedes concluir

[matemáticas] \ qquad Q [/ matemáticas]

Por ejemplo, de las declaraciones “La luna es azul” y “Si la luna es azul, entonces los cerdos pueden volar”, puede concluir “Los cerdos pueden volar”.

La importancia de modus ponens es que captura la mitad del significado de implicación, la mitad de eliminación.

La otra mitad del significado de implicación se refiere a la introducción de implicación. Eso a veces se llama la regla de implicación.

Dice así. Si, después de asumir una instrucción [matemática] P [/ matemática], puede derivar la instrucción [matemática] Q [/ matemática], entonces puede concluir [matemática] P \ a Q [/ matemática].

Tan simple y obvio como es el modus ponens , Lewis Carroll se divirtió con él en su artículo de 1895 “Lo que la tortuga le dijo a Aquiles”. Página en platonicrealms.com

Modus ponens es una de las reglas lógicas más poderosas e importantes. Nos permite conectar declaraciones y valores en declaraciones complejas.

Suponga que, si A es VERDADERO, entonces B debe ser VERDADERO. También,

Suponga que, si B es VERDADERO, entonces C debe ser VERDADERO.

Modus ponens es el nombre de la regla lógica que dice, dados los dos supuestos anteriores, si A es VERDADERO, entonces C debe ser VERDADERO.

modus ponens es cómo se llega de una premisa a una conclusión. Dice así.

p -> q, p | – q En palabras si p implica q y p es verdadero, entonces también lo es q.

Expresivo, comunicativo, pero ligeramente superfluo,

PAGS

(no P o Q)

Q.

Es el principio de que si un enunciado A es verdadero y A implica B, entonces B también es verdadero.

Es una de las reglas de inferencia más simples imaginables.