¿por qué se utiliza una proposición compuesta para cada una de las variables que constituyen el Modus Ponendo Ponens?
Respuestas a la pregunta
Respuesta: El modus ponendo ponens (latín: "el modo que, al afirmar, afirma"1, también llamado modus ponens,1234 eliminación de la implicación, regla de separación, afirmación del antecedente, generalmente abreviado MP) es una forma de argumento válido (razonamiento deductivo) y una de las reglas de inferencia en lógica proposicional.5 Se puede resumir como "si P implica Q; y si P es verdad; entonces Q también es verdad."6 La historia del modus ponendo ponens se remonta a la antigüedad.7
El modus ponendo ponens puede establecerse formalmente como:
{\displaystyle {\frac {P\to Q,\;P}{\therefore Q}}}{\displaystyle {\frac {P\to Q,\;P}{\therefore Q}}}
donde la regla es cuando "P → Q" y "P" aparezcan por sí mismos en una misma línea de una prueba lógica, Q puede ser escrito válidamente en una línea subsiguiente. Nótese que la premisa de P y la implicación se "disuelven", siendo su único rastro el símbolo Q que se mantiene para su uso posterior, por ejemplo, en una deducción más compleja.
Explicación: Un ejemplo de modus ponendo ponens es:
Si está lloviendo, te espero dentro del teatro.
Está lloviendo.
Por lo tanto, te espero dentro del teatro.