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

Ir a la navegación Ir a la búsqueda
m
sin resumen de edición
m
{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>B \or D</math>
-+ <math>B \or \neg D</math>
- <math>\neg B \or D</math>
- <math>\neg B \or \neg D</math>
19 338

ediciones

Menú de navegación