Diferencia entre revisiones de «Lógica proposicional/Tercera evaluación parcial»
Contenido eliminado Contenido añadido
+contenido |
+contenido |
||
Línea 72:
- <math>E \or \neg E</math>
{¿Cuál es el nombre de la siguiente equivalencia lógica: <math>\neg (\alpha \and \beta) \equiv \neg \alpha \or \neg \beta</math>?
|type="()"}
- Absorción de la disyunción.
- Asociatividad de la conjunción.
- Demostración por casos.
+ Ninguna de las anteriores.
{Pregunta número 11. Ejemplo de pregunta de verdadero o falso.
| |||