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:
{Dadas las siguientes premisas:
<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)?
|type="()"}
- <math>\neg B \or D</math>
- <math>\neg B \or \neg D</math>
|