Diferencia entre revisiones de «Lógica proposicional/Equivalencias»
Contenido eliminado Contenido añadido
Sin resumen de edición Etiquetas: Revertido Edición desde móvil Edición vía web móvil |
m Revertidos los cambios de 190.60.215.66 (disc.) a la última edición de Savh Etiqueta: Reversión |
||
Línea 79:
=== Diferencia entre la equivalencia lógica y la equivalencia material ===
La equivalencia lógica y la equivalencia material son conceptos relacionados pero no son la misma cosa y no se pueden usar de forma intercambiable. La equivalencia lógica nos permite
Una equivalencia material puede tener un valor de verdad falso (<math>F</math>) si se aplica a expresiones con diferentes valores de verdad. Por ejemplo, si la proposición <math>A</math> tiene un valor de verdad <math>V</math> y la proposición <math>B</math> tiene un valor de verdad <math>F</math>, la expresión <math>A \Leftrightarrow B</math> es válida y tiene un valor de verdad <math>F</math>. Pero no podemos aplicar una equivalencia lógica en este caso porque las tablas de verdad de <math>A</math> y <math>B</math> no son iguales. Solo podemos decir que no existe una equivalencia lógica entre <math>A</math> y <math>B</math>.
|