Lógica Proposicional - Quiz

¿Qué regla de inferencia permite eliminar el antecedente siempre que la segunda premisa sea dicho antecedente?

• Modus toller

• Modus ponens.

• Silogismo disyuntivo

• Silogismo hipotético.

¿Qué regla de inferencia permite eliminar el consecuente de la primera premisa y el antecedente de la segunda premisa, siempre y cuando sean iguales ?

• Silogismo hipotético

• Silogismo disyuntivo

• Adición

• Conjunción

¿Qué regla de reemplazo permite cambiar de disyunción a conjunción y viceversa, negando ambas variables lógicas?

• Doble negación

• Distribución

• Conmutación

• Leyes de DeMorgan

¿Qué regla de inferencia permite unir dos premisas diferentes?

• Simplificación

• Silogismo disyuntivo

• Conjunción

• Dilema constructivo

¿Qué regla de reemplazo permite conmutar las variables lógicas de la condicional negando cada una de estas?

• Asociación

• Exportación

• Transposición

• Equivalencia material

¿Qué regla de inferencia permite eliminar una de las dos disyunciones siempre que una de las dos esté negada en la segunda premisa?

• Silogismo disyuntivo

• Simplificación

• Silogismo hipotético

• Adición

¿Qué regla de reemplazo permite reescribir el consecuente, dando como resultado la conjunción del antecedente y consecuente?

• Absorción

• Leyes de DeMorgan

• Conmutación

• Doble negación