Diferencia entre revisiones de «Lógica proposicional/Proposiciones compuestas/Evaluación»

Contenido eliminado Contenido añadido
Lsanabria (discusión | contribs.)
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 \andland (B \orlor (\neg C</math>
|type="()"}
- Verdadero.
Línea 26:
 
- <math>A B C D</math>
+ <math>(\neg (X \Rightarrow Y) \andland Z)</math>
- <math>((\Rightarrow M) \andland N)</math>
+ <math>((P \orlor (\neg Q \andland (R \Rightarrow S))) \Rightarrow ((R \orlor S) \andland (Q \orlor R)))</math>
 
{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>.