Lógica formal: Deducción Natural, Derivación o Inferencia

¿Qué es la deducción en lógica formal?

• El proceso de proponer nuevas premisas

• La inferencia válida de conclusiones a partir de premisas

• La contradicción entre proposiciones

• La creación de argumentos inválidos

¿Qué regla de inferencia se utiliza en el siguiente caso? "Si P entonces Q. P, por lo tanto, Q."

• Modus Tollens

• Silogismo Hipotético

• Modus Ponens

• Reducción al absurdo

¿Cuál es un ejemplo de un argumento válido elemental?

• Silogismo Hipotético

• Falacia de afirmación del consecuente

• Contradicción proposicional

• Negación del antecedente

Dado el argumento: "Si Andrea fue nominada, entonces fue a Bogotá. Andrea no fue a Bogotá." ¿Qué conclusión es válida?

• Andrea fue nominada

• Andrea no fue nominada

• Andrea hizo campaña

• Andrea conoció a David

¿Cuál de las siguientes no es una regla de inferencia lógica?

• Modus Ponens

• Dilema Constructivo

• Doble Negación

• Equivalencia Circular

¿Cuántas filas tiene una tabla de verdad para 3 proposiciones?

• 4

• 6

• 8

• 10

¿Qué significa el símbolo "∧" en lógica proposicional?

• O (disyunción)

• Y (conjunción)

• No (negación)

• Implica (condicional)

¿Qué forma de argumento válida corresponde a "Si P entonces Q. No Q, por lo tanto, no P"?

• Modus Tollens

• Modus Ponens

• Silogismo Disyuntivo

• Dilema Constructivo

¿Cómo se traduce "Si el río está seco, no hay agua" al lenguaje proposicional?

• ¬R ∧ A

• R → ¬A

• A → R

• ¬A → ¬R

¿Qué regla se usa para derivar la conclusión "P ∧ Q" de "P" y "Q"?

• Simplificación

• Contraposición

• Doble Negación

• Conjunción