Diferencia entre revisiones de «Lógica proposicional/Proposiciones compuestas/Evaluación»
Contenido eliminado Contenido añadido
Creando |
m Corrección |
||
Línea 30:
+ <math>((P \or (\neg Q \and (R \Rightarrow S))) \Rightarrow ((R \or S) \and (Q \or 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>
|type="()"}
| |||