Diferencia entre revisiones de «Lógica proposicional/Equivalencias»

=== Equivalencia lógica ===

 

 

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.

|-

|}

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>.