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]
- ¿Cuál es el significado de la falacia del hombre enmascarado?
- ¿Cuál es un ejemplo simple y resuelto de lógica difusa?
- ¿Cuáles son los requisitos previos para aprender lógica matemática?
- ¿Cuáles son las preguntas de aptitud que crees que vale la pena saber?
- ¿Los teístas sienten que están siendo completamente honestos intelectualmente cuando afirman que Dios ciertamente existe?
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