Poco común
Modus ponendo ponens
forma lógica
Modus ponendo ponens
El modus ponendo ponens (latín: «el modo que, al afirmar, afirma»1, también llamado modus ponens, 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. Se puede resumir como «si P implica Q; y si P es verdad; entonces Q también es verdad». La historia del modus ponendo ponens se remonta a la antigüedad. El modus ponendo ponens puede establecerse formalmente como: P → Q P ∴ Q {\displaystyle {\begin{array}{cl}&P\to Q\\&P\\\hline…
Abre sobres, colecciona cartas y cámbialas. Gratis.
Jugar gratis