Validez Universal

Asignatura: Lógica y Argumentación

Semestre 2018-B
Sesión 15
 Validez Universal

Un enunciado del lenguaje formal es universalmente válido si es verdadero bajo toda interpretación.
Un enunciado del lenguaje natural es lógicamente verdadero si resulta de traducir, de acuerdo con alguna
interpretación, un enunciado universalmente válido.
Los dos conceptos anteriormente definidos son una extensión de los de ‘tautología’ y ‘enunciado tautológico’.

○ La forma ¬(P→Q)↔(P∧¬Q) es una tautología, pues al negar un condicional implícitamente afirmamos su

antecedente y negamos su consecuente.

○ Análogamente, ¬∀xA1x↔∃x¬A1x es universalmente válido, pues al aseverar que no todo elemento de un

conjunto tiene la propiedad A1, implícitamente afirmamos que alguno no la tiene.

○ En cambio, ∃xA1x→A1b no es universalmente válido, pues podría ocurrir que algún elemento tenga la
propiedad A1 sin que éste sea necesariamente b.
 Demostración por contraejemplo

A veces el objetivo es demostrar que cierto enunciado no es universalmente válido. En este caso, lo que quiere
demostrarse es que el enunciado no es verdadero bajo toda interpretación. Para ello basta con exhibir (definir)
una interpretación bajo la cual el enunciado en cuestión sea falso. A este método se le llama demostración por
contraejemplo.

Para demostrar que ∃xA1x→A1b no es universalmente válido exhibimos la siguiente interpretación:

U={x: x es un lago}
f(A1x)=x está situado en Asia
f(b)=el lago de Pátzcuaro

Al traducirlo, obtenemos el enunciado ‘Si hay un lago en Asia, el lago de Pátzcuaro está en Asia’, que no es
verdadera. Con ello hemos probado que este enunciado no es universalmente válido.
 Ejemplos de demostraciones

Ejemplo 1
∃xP1x→∀xP1x no es universalmente válido
Para demostrar esto debemos construir una interpretación I bajo la cual el enunciado en cuestión sea falso.
Para que el enunciado sea falso se requiere que el antecedente sea verdadero y el consecuente falso, esto
es, debemos construir una interpretación de tal forma que P 1 se interprete como una propiedad satisfecha
por algunos, pero no todos los elementos del dominio.
Sea I=<U,f> donde:
U={x: x es un ser humano}
f(P1x)=x es mujer
f(A)=V para toda letra proposicional A
Entonces I(∃xP1x)=V, porque algunos seres humanos son mujeres, pero I(∀xP1x)=F, porque no es cierto
que todo ser humano sea una mujer. Por lo tanto, el condicional es falso en I y el enunciado no es
universalmente válido.
 Ejemplos de demostraciones

Ejemplo 2
Q2ab es contingente
Para probar esto debemos construir dos interpretaciones para L’, una de las cuales haga verdadero el
enunciado y la otra falso.
Sea I=<U,f> donde:
U={x: x es un número entero}
f(Q2x)=x es menor que y
f(a)=1
f(b)=2
Entonces I(Q2ab)=V, porque 1 es menor que 2.
Si se considera ahora una interpretación J idéntica a I con la excepción de que ahora Q2ab se interprete
como x es mayor que y, entonces J(Q2ab)=F, porque 1 no es mayor que 2.
 Métodos de prueba para fórmulas universalmente válidas

Hay dos maneras de demostrar que un enunciado es universalmente válido:

1. Método por Reducción al Absurdo. Suponemos lo contrario de lo que se quiere probar.

En este caso, lo que queremos probar es que cierto enunciado α es universalmente válido, es decir, que
bajo toda interpretación es verdadero. Para demostrar esto, suponemos que hay una interpretación bajo la
cual α es falso, y a partir de esta suposición buscamos llegar a una contradicción. Como una contradicción
es inaceptable, en caso de aparecer debe desecharse el supuesto que la provocó, y así llegamos al
resultado deseado.

2. Método directo. No se incluyen hipótesis nuevas, sino que de las hipótesis que se tiene se infiere
directamente la conclusión.

Para demostrar que un enunciado es verdadero bajo cualquier interpretación tomamos una interpretación
cualquier y tras analizar todas las posibilidades concluímos que, en efecto, la fórmula es verdadera bajo
esa interpretación. Como la interpretación elegida es arbitraria (es decir, no se supuso nada especial sobre
ella; sólo supusimos que era una interpretación), podemos concluir que lo que vale para ella vale para
cualquier interpretación y, por lo tanto, el enunciado es verdadero bajo cualquier interpretación
 Ejemplos de demostraciones

Ejemplo 3
∀xP1x→∃xP1x es universalmente válido
Sea I=<U,f> una interpretación para L’. Supongamos que el enunciado es falso en I, para llegar a una
contradicción. Entonces tenemos:
(1) I(∀xP1x)=V
(2) I(∃xP1x)=F
De (1) se sigue que cualquier elemento de U satisface f(P1). Como U no es vacío, seleccionamos algún
elemento de U, digamos u. Por lo tanto u satisface f(P1) y por lo tanto I(∃xP1x)=V. Esto contradice a (2).

Ejemplo 4
El enunciado ¬(∀xP1x→∃xP1x) es contradictorio
Esto se sigue del ejemplo anterior y del hecho de que un enunciado es universalmente válido si y sólo si su
negación es contradictoria.
 Ejemplos de demostraciones

Ejemplo 5

∃x(P1x∨Q1x)↔(∃xP1x∨∃xQ1x) es universalmente válido

Sea I una interpretación arbitraria para L’. Tenemos que demostrar que los dos enunciados tienen el mismo
valor de verdad bajo I.

Supongamos que I(∃x(P1x∨Q1x))=V. Entonces existe algún elemento u de U, el dominio de I, para el cual
alguna de las propiedades f(P1) o f(Q1) es verdadera. En el primer caso I(∃xP1x)=V y en el segundo
I(∃xQ1x)=V, en ambos casos I(∃xP1x∨∃xQ1x)=V.

Supongamos que I(∃xP1x∨∃xQ1x)=V. Como es una disyunción, alguno de los disyuntos es verdadero en I.
Si el primero es verdadero en I, entonces existe algún elemento u de U para el cual f(P1) es verdadera y por
lo tanto I(∃x(P1x∨Q1x))=V. Análogamente si el segundo disyunto es verdadero.
 Ejemplos de enunciados universalmente válidos

○ ∀x¬A1x↔¬∃xA1x

○ ¬∀xA1x↔∃x¬A1x

○ A1b→∃xA1x

○ ∀xA1x→A1b

○ ∀x(A1x→B1x)→(∀xA1x→∀xB1x)

○ (∀x(A1x→B1x)∧∀x(B1x→C1x))→∀x(A1x→C1x)
 Ejercicios

Demostrar que los siguientes enunciados no son universalmente válidos, dando en cada caso una
interpretación en que sean falsos.

1. (∀x(A1x→B1x)∧B1a)→A1a

2. (∃xA1x∧∃xB1x)→∃x(A1x∧B1x)

3. (∀xA1x→∀xB1x)→∀x(A1x→B1x)

4. ∀x(A2xa→¬B1x)∨∃y(B1y∧A2yb)

5. ∀x∃yA2xy→∃y∀xA2xy
 Ejercicios

1. Decidir si los siguientes enunciados de L’ son 2. Decidir si las siguientes afirmaciones son
universalmente válidos, contradictorios o verdaderas o falsas. Justificar.
contingentes. (Justificar su respuesta)
a) (∀xP1x∨∀xQ1x)→∀x(P1x∨Q1x)
a) ∃xP2xa→∃xP2ax
b) (∃xP1x∧∃xQ1x)→∃x(P1x∧Q1x)
b) ∀xP2xx
c) (∀xP1x∧∀xQ1x)→∀x(P1x∧Q1x)
c) P1a→∃xP1x

d) ∃xP1x→P1a

e) P1a→∀xP1x

f) ∀xP1x→P1a