Diferencia entre revisiones de «Lógica proposicional/Reglas de inferencia/Evaluación»

De Wikiversidad
Contenido eliminado Contenido añadido
Lsanabria (discusión | contribs.)
Sin resumen de edición
Lsanabria (discusión | contribs.)
mSin resumen de edición
Línea 48: Línea 48:
{Dadas las siguientes premisas:
{Dadas las siguientes premisas:


<math>\begin{array}{l} A \Rightarrow B \\ C \Rightarrow D \\ A \or C \end{array}</math>
<math>\begin{array}{l} A \Rightarrow B \\ C \Rightarrow \neg D \\ A \or C \end{array}</math>


¿Qué conclusión se obtiene al aplicar el dilema constructivo (DC)?
¿Qué conclusión se obtiene al aplicar el dilema constructivo (DC)?
|type="()"}
|type="()"}
+ <math>B \or D</math>
- <math>B \or D</math>
- <math>B \or \neg D</math>
+ <math>B \or \neg D</math>
- <math>\neg B \or D</math>
- <math>\neg B \or D</math>
- <math>\neg B \or \neg D</math>
- <math>\neg B \or \neg D</math>

Revisión del 04:15 10 ene 2016

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