Tipos de demostraciones y reglas de inferencia

¿Cuál de los siguientes métodos de demostración asume que la proposición es falsa para llegar a una contradicción?

• Directa
• Por casos
• Contrarrecíproca
• Por contradicción

¿Qué tipo de demostración usa la implicación contraria a la original para probar una proposición del tipo “Si P, entonces Q”?

• Directa
• Contrarrecíproca
• Reducción al absurdo
• Por casos

En una demostración directa, ¿cuál es el primer paso habitual?

• Suponer que la conclusión es falsa
• Suponer que la hipótesis es verdadera
• Aplicar el modus ponens
• Negar la proposición

¿Cuál es la forma lógica del *Modus Ponens*?

• Si P → Q y P, entonces Q
• Si P → Q y ¬Q, entonces ¬P
• Si P ∧ Q, entonces P
• Si P ∨ Q y ¬P, entonces Q

¿Cuál de las siguientes es una inferencia válida del tipo *Modus Tollens*?

• P ∨ Q, ¬P ⟹ Q
• P → Q, ¬Q ⟹ ¬P
• P ∧ Q ⟹ Q
• P → Q, Q ⟹ P

¿Qué regla de inferencia permite deducir Q a partir de P ∧ Q?

• Adjunción
• Simplificación
• Disyunción
• Silogismo disyuntivo

¿Qué nombre recibe la inferencia que permite unir dos proposiciones verdaderas?

• Adjunción
• Silogismo disyuntivo
• Contrarrecíproca
• Reducción al absurdo

¿Qué regla se aplica si se tiene: P → Q, Q → R, por lo tanto P → R?

• Silogismo disyuntivo
• Modus tollendo ponens
• Transitividad
• Modus tollens

¿Qué tipo de demostración se usa cuando se analizan distintos casos posibles para una proposición?

• Contradicción
• Por casos
• Directa
• Modus ponens

¿Cuál de estas opciones representa una inferencia conjuntiva válida?

• P → Q, Q → R ⟹ P → R
• P, Q ⟹ P ∧ Q
• ¬P, P ∨ Q ⟹ Q
• P ∧ Q ⟹ P