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 23:
- <math>\neg Q</math>
{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 \or P \end{array}</math>
|type="()"}
+ Verdadero
- Falso
{Pregunta número 4. Ejemplo de pregunta de verdadero o falso.
|