CLASE 9

Semántica
Valuación en LC
En LP se consideraban las distintas posibilidades cambiando simplemente el valor
de verdad de cada fórmula.

En LC esto no se puede hacer directamente sino que debe considerarse el

significado de los elementos de cada oración.

En otras palabras, se debe establecer una interpretación de un fragmento del

lenguaje, que consiste en un universo del discurso y una extensión para los
predicados y constantes.
Elementos de una interpretación
UD es un conjunto de elementos.

Los predicados monádicos denotan conjuntos de objetos también.

Como tal, se pueden especificar de dos maneras: por intensión o por extensión.

La intensión determina la extensión.

Puede haber predicados con extensión vacía.

Producto cartesiano
Algunas veces deseamos establecer una relación entre dos conjuntos.

Al establecer estas relaciones generamos información sobre parejas.

En estas parejas importa el orden.

Las parejas no son conjuntos ordinarios, sino pares ordenados.

Un producto cartesiano se denota por AxB y está compuesto por todas las parejas
que resultan de esa conexión.
Elementos de una interpretación
Los predicados de grado de más de dos refieren a relaciones. Ejemplo: x es
padre de y (Pxy)

Las relaciones son conjuntos de tuplas ordenadas. Son subconjuntos del

producto cartesiano.

Puede estar compuesta por triplas ordenadas

Puede estar compuesto por tuplas ordenadas, de manera general.

Elementos de una interpretación
Las constantes designan a los elementos de UD.

Existen UD para los cuales no puede haber una constante.

Ejemplo: conjuntos no enumerables.

Valuaciones no intepretadas
Es posible intercambiar una interpretación que refiere a personas y propiedades
físicas por elementos abstractos, esto con el fin de centrarse en los detalles
lógicos de la situación.

Los elementos se consideran números.

Propiedades o relaciones de números.

Esto es posible por el teorema de

Teorema de Löwenheim-Skolem: Si una fórmula de LC es verdadera

bajo al menos una interpretación con un UD de cualquier cardinalidad, también

será verdadera bajo una interpretación cuyo UD sean los números naturales7.
Valuación de LC
● UD
● A cada constante se le asigna un objeto.
● A cada predicado de grado 1, un conjunto.
● A cada predicado de grado mayor a 1, una relación.
Valuación de LC
● Una fórmula atómica Pa es verdadera si a pertenece a la extensión del
conjunto P.
● Una fórmula atómica Pa1,.., an si <a1,.., an> pertenece a la extensión de P,
donde P es un predicado de un grado mayor a 1.
Valuación para fórmulas moleculares
Ejercicios
Ejercicios
Semántica de enunciados con cuantificador
Notación

dI[u/x]: la asignación del valor u a x en una fórmula que contenga x.

Se cambia x por u

Ejemplos:

Haga eso con

dI[u/x]( Px)

dI[u/x] (Px&Tx)
Semántica de enunciados con cuantificador
Notación

dI[u/x]: la asignación del valor u a x en una fórmula que contenga x.

Si para cualquier u dI[u/x], Pu es verdadero, entonces podemos decir que el

cuantificador universal es verdadero para esa fórmula.

Si para algún u dI[u/x], Pu es verdadero, esto significa que el cuantificador

existencial es verdadero.
Semántica de enunciados con cuantificador
Notación

dI[u/x]: la asignación del valor u a x en una fórmula que contenga x.

Si para cualquier u dI[u/x], Pu es verdadero, entonces podemos decir que el

cuantificador universal es verdaro para esa fórmula.

Si para algún u dI[u/x], Pu es verdadero, esto signifca que el cuantificador

existencial es verdadero.
Semántica de enunciados con cuantificador
Notación

dI[u/x]: la asignación del valor u a x en una fórmula que contenga x.

Si para un u dI[u/x], Pu es verdadero, ¬Pu va a ser falso.

Si para un u dI[u/x], Pu es falso, ¬Pu va a ser verdadero.

Semántica de enunciados con cuantificador
Notación

dI[u/x]: la asignación del valor u a x en una fórmula que contenga x.

Si para un u dI[u/x], Pu y Qu verdadero, Pu & Qu va a ser verdadero.

Si para un u dI[u/x], Pu o Qu verdadero, Pu ∨ Qu va a ser verdadero.

Si para un u dI[u/x], Pu es falso o Qu verdadero, Pu ⊃ Qu va a ser verdadero.

Si para un u dI[u/x], Pu es falso y Qu es falso, o Pu&Qu son verdaderos, Pu ≡ Qu

va a ser verdadero.
Tautología
Una afirmación P es tautología ssi es verdadera bajo cualquier interpretación.

El hecho de que se considere cualquier intepretación nos obliga a hacer una

caracterización abstracta de toda posibilidad.

(∀x)(Sx ∨ ~Sx)

Supongamos que es falsa esa fórmula para un u. Para que Su ∨ ~Su sea falsa,
Su debe ser falsa y ~Su también. Pero si ~Su, entonces Su es verdadera. Por lo
que es verdadera y falsa a la vez para algún u.
Tautología
Una afirmación P es tautología ssi es verdadera bajo cualquier interpretación.

El hecho de que se considere cualquier intepretación nos obliga a hacer una

caracterización abstracta de toda posibilidad.

(∃x)(∃y)(Gxy ⊃ (∀z)(∀w)Gzw)

Hay dos posibilidades con respecto a la relación G, que todos los pares la
cumplan o haya alguno que no. En la primera posibilidad se cumple la regla. En la
segunda posibilidad se cumple por default.
Contradicción
Una fórmula de LC es una contradicción en LC si y sólo si es falsa bajo cualquier
valuación.

(∀y)By & (∃z) ~ Bz

Contingencia
Es contingencia ssi es verdadera y falsa en una intepretación.

~ (~ Ga & (∃y)Gy)
Equivalencia semántica
P y Q serán equivalentes ssi no hay una valuación en la cual tengan valores
distintos.

En términos prácticos, lo que se debe probar son dos cosas:

● Si se supone que P es verdadero, se llega a que Q también lo es.

● Si se supone que Q es verdadero, se llega a que P también lo es.
Equivalencia semántica
● (∃x)Fx ⊃ Ga es equivalente con (∀x)(Fx ⊃ Ga)
● Supongamos que (∃x)Fx ⊃ Ga es verdadero.
○ (∃x)Fx es falso. (∀x)(Fx ⊃ Ga) sería siempre verdadero porque todos los miembros
cumplen el condicional porque la primera condición es siempre falsa.
○ (∃x)Fx y Ga son ambas verdaderas. Si Ga es siempre verdadero. Todos los miembros van a
cumplir el condicional porque siempre va a ser verdadero el consecuente.
Equivalencia semántica
● (∃x)Fx ⊃ Ga es equivalente con (∀x)(Fx ⊃ Ga)
● Supongamos que (∀x)(Fx ⊃ Ga) ahora es siempre verdadero. Todos los
miembros cumplen el condicional o bien porque no satisfacen F o bien
porque Ga es verdadero. En ambos casos, (∃x)Fx ⊃ Ga será verdadero.
Equivalencia semántica
● ~ (∃x)(∀y)(Gxy ∨ Gyx) es equivalente con (∀x)(∃y)(~ Gxy & ~ Gyx)
● Suponemos que ~ (∃x)(∀y)(Gxy ∨ Gyx) es verdadero.
○ (∃x)(∀y)(Gxy ∨ Gyx) es falso.
○ Para todo elemento, hay otro elemento, y con este no va a cumplir la disyunción. No
cumplir la disyunción equivale a cumplir una conjunción de la negación.
○ Esa última es la condición que hace verdadero el segundo enunciado.
Equivalencia semántica
● ~ (∃x)(∀y)(Gxy ∨ Gyx) es equivalente con (∀x)(∃y)(~ Gxy & ~ Gyx)
● Suponemos que (∀x)(∃y)(~ Gxy & ~ Gyx) es verdadero.
○ Para todo objeto hay otro junto con el que satisfacen la conjunción.
○ Estas condiciones hacen falso al enunciado (∃x)(∀y)(Gxy ∨ Gyx)
○ Si este enunciado es falso, ~(∃x)(∀y)(Gxy ∨ Gyx) es verdadero.
Equivalencia semántica
● Si dos enunciados P y Q no son equivalentes, esto quiere decir que es
posible que P sea verdadero y Q falso, o al revés.
● En términos prácticos, si se quiere mostrar que dos enunciados no son
equivalentes se debe construir una interpretación que haga verdadero solo a
uno de los enunciados.
Equivalencia semántica
● (∀x)(Fx ⊃ Ga) no es equivalente con (∀x)Fx ⊃ Ga

UD: los naturales.

Fx: x es primo.

Gx: x es par.

a: 1.
Validez e invalidez
Un argumento es válido cuando no hay un modelo en que sus premisas sean
verdaderas y su conclusión falsa.

En términos prácticos, eso significa que

1. Se supone que hay dicho modelo.

2. Se llega a una contradicción.

Cuando un argumento es válido, las premisas implican semánticamente a la

conclusión.
Validez e invalidez
(∃x)(Fx ∨ Gx)

(∀x) ~ Fx

-----------------

(∃x)Gx

Es válido. Suponer lo contrario lleva a una contradicción.

Validez e invalidez
Un argumento es inválido si hay una interpretación donde las premisas son
verdaderas y la conclusión falsa.

En términos prácticos eso significa mostrar que hay una interpretación en la que
las premisas son verdaderas y la conclusión es falsa.
Validez e invalidez
(∃x)[(∃y)Fy ⊃ Fx]

(∃y) ~ Fy

~ (∃x)Fx

UD: los enteros positivos.

Fx: x es primo.
MOSTRAR QUE LOS ARGUMENTOS SON INV
MOSTRAR QUE LOS ARGUMENTOS SON VAL