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

m
Bot: reemplazando sintaxis obsoleta de Látex, véase mw:Extension:Math/Roadmap
m (Cambiando categoría)
m (Bot: reemplazando sintaxis obsoleta de Látex, véase mw:Extension:Math/Roadmap)
 
{Dadas las siguientes premisas:
 
<math>\begin{array}{l} P \orlor Q \\ \neg P \end{array}</math>
 
¿Qué conclusión se obtiene al aplicar el silogismo disyuntivo (SD)?
{El siguiente caso es un ejemplo del uso de la regla de introducción de la disyunción.
 
<math>\begin{array}{l} Q \\ \hline \therefore Q \orlor P \end{array}</math>
 
|type="()"}
+ <math>A \Rightarrow C</math>
- <math>\neg D</math>
+ <math>(B \Rightarrow C) \orlor D</math>
+ <math>A \orlor D</math>
 
{Dadas las siguientes premisas:
 
<math>\begin{array}{l} A \Rightarrow B \\ C \Rightarrow \neg D \\ A \orlor C \end{array}</math>
 
¿Qué conclusión se obtiene al aplicar el dilema constructivo (DC)?
|type="()"}
- <math>B \orlor D</math>
+ <math>B \orlor \neg D</math>
- <math>\neg B \orlor D</math>
- <math>\neg B \orlor \neg D</math>
 
</quiz>
37

ediciones