5 Questions
¿Cuál es la definición del Modus Ponens?
Si se tiene una declaración condicional y se sabe que el antecedente es verdadero, entonces se puede concluir que el consecuente es verdadero.
¿Cuál es la forma del Modus Tollens?
Si P entonces Q. Q es falso, por lo tanto, P es falso.
¿Cuál es la definición del Silogismo Hipotético?
Si se tiene dos declaraciones condicionales, y el consecuente de la primera es igual al antecedente de la segunda, entonces se puede inferir una nueva declaración condicional.
¿Cuál es la forma del Silogismo Disyuntivo?
P o Q. P es falso, por lo tanto, Q es verdadero.
¿Cuál es la forma del Modus Ponens?
Si P entonces Q. P es verdadero, por lo tanto, Q es verdadero.
Study Notes
Reglas de Inferencia
- El Modus Ponens es una regla de inferencia que permite concluir una afirmación a partir de una premisa y una conclusión mediante la aplicación de una regla lógica.
- La forma del Modus Ponens es la siguiente: Si P, entonces Q. P. ∴ Q.
- El Modus Tollens es una regla de inferencia que permite concluir la negación de una premisa a partir de una condición y una conclusión que contradice la premisa.
- La forma del Modus Tollens es la siguiente: Si P, entonces Q. No Q. ∴ No P.
- El Silogismo Hipotético es una regla de inferencia que permite concluir una afirmación a partir de una premisa y una condición hipotética.
- La definición del Silogismo Hipotético es la siguiente: Si P, entonces Q. Si Q, entonces R. ∴ Si P, entonces R.
- El Silogismo Disyuntivo es una regla de inferencia que permite concluir una afirmación a partir de dos premisas que se encuentran en relación de disyunción.
- La forma del Silogismo Disyuntivo es la siguiente: P o Q. No P. ∴ Q.
Quiz sobre Modus Ponens y Modus Tollens en lógica proposicional. Pon a prueba tus conocimientos sobre estas dos formas de razonamiento deductivo y comprueba si puedes aplicar correctamente las reglas para obtener conclusiones válidas.
Make Your Own Quizzes and Flashcards
Convert your notes into interactive study material.
Get started for free