Diferencia entre revisiones de «Lógica proposicional/Reglas de inferencia/Evaluación»
Contenido eliminado Contenido añadido
Sin resumen de edición |
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 \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 |
Proyecto: Lógica proposicional |
Anterior: Lectura de la lección 9 — Evaluación — Siguiente: Tercera evaluación parcial |