Respuestas
Respuesta:
El modus ponendo ponens puede establecerse formalmente como:
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.
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.
Si bien el modus ponendo ponens es uno de los conceptos más utilizados en la lógica, no debe confundirse con una ley lógica.
Explicación:
gracias x los puntos
Respuesta:
El modus ponendo ponens puede establecerse formalmente como:
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.
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.
Si bien el modus ponendo ponens es uno de los conceptos más utilizados en la lógica, no debe confundirse con una ley lógica.
Explicación:
Explicación:
gracias x los puntos