Diferencia entre revisiones de «Lógica proposicional/Reglas de inferencia/Evaluación»
Contenido eliminado Contenido añadido
mSin resumen de edición |
mSin resumen de edición |
||
Línea 2:
<quiz display=simple>
{¿Cuál es el nombre de la siguiente regla de inferencia?
<math>\begin{array}{l} \alpha \Rightarrow \beta \\ \neg \beta \\ \hline \therefore \neg \alpha \end{array}</math>
|type="()"}
- Introducción de la disyunción (ID)
- ''Modus ponens'' (MP)
+ ''Modus tollens'' (MT)
- Dilema destructivo (DD)
{Pregunta número 2. Ejemplo de pregunta de verdadero o falso.
|