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

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.

 

 

La equivalencia material es una conectiva lógica representada con el símbolo <math>\Leftrightarrow</math> cuyo valor de verdad es <math>V</math> si las proposiciones a las que se aplica tienen el mismo valor de verdad y tiene un valor de verdad <math>F</math> si los valores de verdad de las proposiciones son diferentes.<ref name="klement" /> Podemos representar el comportamiento de la conectiva con la siguiente tabla de verdad: