Diferencia entre revisiones de «Lógica proposicional/Reglas de inferencia/Evaluación»
Contenido eliminado Contenido añadido
Sin resumen de edición |
Sin resumen de edición |
||
Línea 33:
{Dadas las siguientes premisas:
<math>\begin{array}{l} A \Rightarrow B \\ B \Rightarrow C \\ D \end{array}</math>
¿Cuáles de las siguientes opciones
|type="[]"}
Línea 44 ⟶ 46:
+ <math>A \or D</math>
{Dadas las siguientes premisas:
|type="()"}▼
<math>\begin{array}{l} A \Rightarrow B \\ C \Rightarrow D \\ A \or C \end{array}</math>
¿Qué conclusión se obtiene al aplicar el dilema constructivo (DC)?
▲|type="()"}
+ <math>B \or D</math>
- <math>B \or \neg D</math>
- <math>\neg B \or D</math>
- <math>\neg B \or \neg D</math>
</quiz>
|