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

m
Revertidos los cambios de 2806:2F0:9280:8E9D:1B1:82E3:335D:2F78 (disc.) a la última edición de Esteban16
Etiquetas: Edición desde móvil Edición vía web móvil
m (Revertidos los cambios de 2806:2F0:9280:8E9D:1B1:82E3:335D:2F78 (disc.) a la última edición de Esteban16)
Etiqueta: Reversión
 
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 materialongamaterial ===
 
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:
83

ediciones