Diferencia entre revisiones de «Lógica proposicional/Reglas de inferencia/Evaluación»
Contenido eliminado Contenido añadido
m Cambiando categoría |
m Bot: reemplazando sintaxis obsoleta de Látex, véase mw:Extension:Math/Roadmap |
||
Línea 14: | Línea 14: | ||
{Dadas las siguientes premisas: |
{Dadas las siguientes premisas: |
||
<math>\begin{array}{l} P \ |
<math>\begin{array}{l} P \lor Q \\ \neg P \end{array}</math> |
||
¿Qué conclusión se obtiene al aplicar el silogismo disyuntivo (SD)? |
¿Qué conclusión se obtiene al aplicar el silogismo disyuntivo (SD)? |
||
Línea 25: | Línea 25: | ||
{El siguiente caso es un ejemplo del uso de la regla de introducción de la disyunción. |
{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 \ |
<math>\begin{array}{l} Q \\ \hline \therefore Q \lor P \end{array}</math> |
||
|type="()"} |
|type="()"} |
||
Línea 43: | Línea 43: | ||
+ <math>A \Rightarrow C</math> |
+ <math>A \Rightarrow C</math> |
||
- <math>\neg D</math> |
- <math>\neg D</math> |
||
+ <math>(B \Rightarrow C) \ |
+ <math>(B \Rightarrow C) \lor D</math> |
||
+ <math>A \ |
+ <math>A \lor D</math> |
||
{Dadas las siguientes premisas: |
{Dadas las siguientes premisas: |
||
<math>\begin{array}{l} A \Rightarrow B \\ C \Rightarrow \neg D \\ A \ |
<math>\begin{array}{l} A \Rightarrow B \\ C \Rightarrow \neg D \\ A \lor 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 \ |
- <math>B \lor D</math> |
||
+ <math>B \ |
+ <math>B \lor \neg D</math> |
||
- <math>\neg B \ |
- <math>\neg B \lor D</math> |
||
- <math>\neg B \ |
- <math>\neg B \lor \neg D</math> |
||
</quiz> |
</quiz> |
Revisión actual - 14:41 2 feb 2019
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 |