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

Contenido eliminado Contenido añadido
Esteban16 (discusión | contribs.)
m Revertidos los cambios de 190.155.127.80 (disc.) a la última edición de 187.156.139.43
Etiqueta: Reversión
Etiquetas: Edición desde móvil Edición vía web móvil
Línea 8:
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.
 
=== Equivalencia materialmaterialonga ===
 
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: