Diferencia entre revisiones de «Lógica proposicional/Equivalencias»
Contenido eliminado Contenido añadido
Etiqueta: Revertido |
Revert to revision 158290 dated 2020-10-17 18:02:25 by Savh using popups Etiqueta: Reversión manual |
||
Línea 4:
=== Equivalencia lógica ===
Una proposición es
La equivalencia lógica se representa con el símbolo <math>\equiv</math><ref name="lau" /> y significa que podemos reemplazar una expresión con su equivalente ya que ambas generan la misma tabla de verdad. La expresión <math>A \land B \equiv B \land A</math> nos indica que podemos reemplazar cualquier ocurrencia de <math>A \land B</math> con <math>B \land A</math> sin alterar los valores de las expresiones donde hacemos el cambio o la validez de los procesos de razonamiento donde las utilizamos.
Línea 74:
|-
|}
Dado que <math>(\gamma \Rightarrow \delta) \land (\delta \Rightarrow \gamma)</math> y <math>\gamma \Leftrightarrow \delta</math> tienen la misma tabla de verdad, podemos decir que son lógicamente equivalentes: <math>(\gamma \Leftrightarrow \delta) \equiv ((\gamma \Rightarrow \delta) \land (\delta \Rightarrow \gamma))</math>.
|