La equivalencia lógica significa que dos declaraciones tienen el mismo valor de verdad en todos los modelos posibles. Dos declaraciones son equivalentes lógicamente si una implica a la otra y viceversa. La equivalencia lógica es diferente de la equivalencia material, aunque estén relacionadas, ya que la primera es una relación entre declaraciones y la segunda es una declaración en sí misma.
0 calificaciones0% encontró este documento útil (0 votos)
300 vistas4 páginas
La equivalencia lógica significa que dos declaraciones tienen el mismo valor de verdad en todos los modelos posibles. Dos declaraciones son equivalentes lógicamente si una implica a la otra y viceversa. La equivalencia lógica es diferente de la equivalencia material, aunque estén relacionadas, ya que la primera es una relación entre declaraciones y la segunda es una declaración en sí misma.
La equivalencia lógica significa que dos declaraciones tienen el mismo valor de verdad en todos los modelos posibles. Dos declaraciones son equivalentes lógicamente si una implica a la otra y viceversa. La equivalencia lógica es diferente de la equivalencia material, aunque estén relacionadas, ya que la primera es una relación entre declaraciones y la segunda es una declaración en sí misma.
La equivalencia lógica significa que dos declaraciones tienen el mismo valor de verdad en todos los modelos posibles. Dos declaraciones son equivalentes lógicamente si una implica a la otra y viceversa. La equivalencia lógica es diferente de la equivalencia material, aunque estén relacionadas, ya que la primera es una relación entre declaraciones y la segunda es una declaración en sí misma.
Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
Descargar como docx, pdf o txt
Está en la página 1/ 4
Equivalencia lógica
En lógica, las declaraciones p y q son lógicamente equivalentes si tienen el mismo
contenido lógico. Este es un concepto semántico, dos afirmaciones son equivalentes si tienen el mismo valor de verdad en todos los modelos(Mendelson 1979:56). La equivalencia lógica de p y q algunas veces se expresa como , Epq, o . Sin embargo, estos símbolos también se usan para la equivalencia material; su apropiada interpretación depende del contexto. La equivalencia lógica es diferente a la equivalencia material, aunque ambos conceptos estén estrechamente relacionados.
Índice [ocultar]
1 Equivalencias lógicas 2 Ejemplo 3 Representación de equivalencias con cuantificadores universales y existenciales 4 Relación con la equivalencia material 5 Véase también 6 Referencias
Ejemplo[editar] Las dos sentencias siguientes son lógicamente equivalentes:
1. Si Lisa está en Francia, entonces ella está en Europa (en
símbolos, ). 2. Si Lisa no está en Europa, entonces ella no está en Francia (en símbolos, ). Sintácticamente, (1) y (2) son derivables cada una de la otra a través de la regla de contraposición y doble negación. Semánticamente, (1) y (2) son verdaderas en exactamente los mismos modelos (interpretaciones, valuaciones); a saber, aquellos en que Lisa está en Francia es falso o bien Lisa está en Europa es verdadero. (Tener en cuenta que en este ejemplo se supone lógica clásica. Algunas lógicas no clásicas no consideran (1) y (2) lógicamente equivalentes.)
Representación de equivalencias con cuantificadores
universales y existenciales[editar] Se tienen las siguientes relaciones; utilizando cuantificadores y conectivas lógicas:
Si: para todo x de A se cumple P(x), es equivalente a: no
existe x en A que no cumpla P(x).
Si: existe x en A que cumple P(x), es equivalente a: no para todo x de A, no se
cumple P(x). En cuanto al cuantificador existencial único puede considerarse una extensión por definición en un lenguaje formal con igualdad teniendo dada la equivalencia:
Si: existe un único x en A que cumple P(x), es equivalente a: para todo x, y de A,
que cumple P(x) y P(y), entoncesx es igual a y.
Relación con la equivalencia
material[editar] Equivalencia lógica es diferente de la equivalencia material. La equivalencia material de las p y q (escrito muchas vecesp↔q) es en sí mismo otra declaración, lo llaman r, en la misma lengua objeto como p y q. r expresa la idea de "p si y solo siq". En particular, el valor de verdad de p↔q puede cambiar de un modelo a otro. La afirmación de que dos fórmulas son lógicamente equivalentes es una declaración en metalenguaje, que expresa una relación entre dos declaraciones p y q. La afirmación de que p y q son semánticamente equivalentes no depende de ningún modelo en particular, sino que dice que en todos los modelos posibles, p tendrá el mismo valor de verdad lo q. La afirmación de que p y q son sintácticamente equivalentes no depende de modelos en todo, sino que afirma que existe una deducción de q a partir p y una deducción de p a partir q. Existe una estrecha relación entre la equivalencia material y equivalencia lógica. Las fórmulas p y q son sintácticamente equivalentes si y solo si p↔q es un teorema, mientras que p y q son semánticamente equivalentes si y solo si p↔q es verdad en todos los modelos (es decir, p↔q es lógicamente válido).
