Diferencia entre revisiones de «Lógica proposicional/Proposiciones compuestas/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 9:
+ Resolver posibles ambigüedades.
{La siguiente expresión es una fórmula bien formada: <math>(A \
|type="()"}
- Verdadero.
Línea 26:
- <math>A B C D</math>
+ <math>(\neg (X \Rightarrow Y) \
- <math>((\Rightarrow M) \
+ <math>((P \
{Si <math>C</math> tiene un valor de verdad <math>V</math> y <math>D</math> tiene un valor de verdad <math>V</math>, la expresión <math>\neg (C \Rightarrow D)</math> tiene el mismo valor de verdad que la expresión <math>\neg C \Rightarrow D</math>.
|