Lógica proposicional/Reglas de inferencia/Evaluación

De Wikiversidad
Ir a la navegación Ir a la búsqueda
Evaluación de la lección 9
Reglas de inferencia

1

¿Cuál es el nombre de la siguiente regla de inferencia?

Introducción de la disyunción (ID)
Modus ponens (MP)
Modus tollens (MT)
Dilema destructivo (DD)

2

Dadas las siguientes premisas:

¿Qué conclusión se obtiene al aplicar el silogismo disyuntivo (SD)?

3

El siguiente caso es un ejemplo del uso de la regla de introducción de la disyunción.

Verdadero
Falso

4

Dadas las siguientes premisas:



¿Cuáles de las siguientes opciones son conclusiones válidas al aplicar alguna de las reglas de inferencia?

5

Dadas las siguientes premisas:

¿Qué conclusión se obtiene al aplicar el dilema constructivo (DC)?


Proyecto: Lógica proposicional
Anterior: Lectura de la lección 9 — Evaluación — Siguiente: Tercera evaluación parcial