Question

gane sé los puntos,
(´;︵;`) ¿cuál sería el fundamento de por qué se utiliza una proposición compuesta para cada una de las variables que constituyen el Modus Ponendo Ponens?​

Answer 1

Respuesta:

El modus ponendo ponens puede establecerse formalmente como:

{\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