Interpretaciones

Asignatura: Lógica y Argumentación

Semestre 2018-B
Sesión 14
 Interpretación de un lenguaje simbólico
Dicho informalmente, una interpretación de un lenguaje simbólico es un «diccionario» que nos permite traducir
los enunciados de un lenguaje a otro y viceversa. Una interpretación consta de un conjunto universo U y de una
función f que asigna significados a ciertos símbolos del lenguaje formal.

Ejemplo

Para que una expresión como ∃x(P1x∧∀y(P1y→A2ay)) pueda traducirse a un enunciado de nuestro idioma,
tenemos que especificar:

a) nuestro universo U de discurso,

b) qué representa a (el cual debe pertenecer a U),
c) el predicado unario P1 (que debe ser un subconjunto de U) y
d) el predicado binario A2 (que debe ser una relación binaria, o subconjunto de U×U)
Para ∃x(P1x∧∀y(P1y→A2ay)) podemos dar las dos siguientes interpretaciones:

1) Sea U={x: x es un número natural}

f(P1x)=x es par (esto significa que ‘P1’ designará la propiedad de ser par)
f(A2xy)=x divide a y
f(a)=2

2) Sea U={x: x es un ser humano}

f(P1x)=x es ruso
f(A2xy)=x admira a y
f(a)=Dostoyevsky

● De acuerdo con la primera interpretación, el enunciado se traduce como:

‘Hay un número par y el 2 divide a todos los pares’

● De acuerdo con la segunda, una interpretación correcta sería:

‘Hay un ruso y todos los rusos admiran a Dostoyevsky’
 Definición formal
Una interpretación del lenguaje formal es una pareja <U,f> en la que U es un conjunto no vacío llamado
‘dominio de interpretación’, y f una función que asigna:
(a) a cada constante individual, un elemento de U,
(b) a cada letra predicativa n-aria, un predicado n-ario de elementos de U (es decir, un subconjunto de Un), y
(c) a cada letra enunciativa, un valor de verdad.

Ejemplo
Sea U={x: x es un pico del Himalaya}
f(a)=el Everest f(ô)={} para toda letra predicativa ô distinta de ‘A2’
f(b)=el K2 f(õ)=falso para cualquier letra enunciativa õ
f(A2xy)=x es más alto que y
f(ó)=el Anapurna para cualquier constante individual ó distinta de ‘a’ y ‘b’ (esto implica que, por
ejemplo, la constante ‘d’ significará también el Anapurna)
Entonces <U,f> es una interpretación del lenguaje formal
Nota: Si queremos mostrar que en algunas interpretaciones es verdadero un enunciado como (P→∀xA1x), basta
con elegir una interpretación en la que f(P) sea falsa.
 Ejercicios
Dada la siguiente interpretación I = ˂U,f˃
U={1,2,3,4,5,...} f(a)=1 f(A2xy)=x igual a y f(B2xy)=x<y
f(D1x)=x es primo f(b)=2 f(M3xyz) = x multiplicado por y es igual a z

Traducir al lenguaje coloquial los siguientes enunciados y decir si son verdaderos o falsos en la interpretación dada:
(a) ∀x(¬A2xa→B2ax)
(b) ∃x(D1x∧¬B2xb)
(c) ∀x∀y∀z((B2xy∧B2yz)→B2xz)
(d) ∃x(D1x→B2xa)
(e) ∀x(∃yB2yx→¬D1x)
(f) (∀xD1x→∃wM3wwa)
(g) ∀x(∃yM3yyx→¬D1x)
(h) ∀x(D1x→∀y∀z(M3yzx→(A2ya∨A2za)))
(i) ∃x(D1x∧∀y(D1y→A2yx))
(j) ∀x∃y∀z(M3zxy→B2yx)
...y traducir al lenguaje formal los enunciados:

(a) Ningún número distinto de 2 es primo y par a la vez.

(b) Hay un número menor que todos los demás (distintos de él).

(c) Para cualesquier dos números, si el primero es menor que el segundo, existe un tercero mayor que el primero pero menor que
el segundo.

(d) Para cualquier número primo hay otro primo mayor que él.

(e) Para cualesquiera tres números si el primero multiplicado por el segundo es igual al tercero, entonces el primero es menor que
el segundo.

(f) No hay más de dos números primos.

(g) Dados dos números cualesquiera, si el primero es menor que el segundo, entonces existe un tercer número que multiplicado
con el primero da como resultado un número mayor que el segundo.

(h) No todos los números son pares.

(i) Si hubiera un número par menor que 2, ningún número sería primo.

(j) Si hay un número que sea primo, sólo hay uno y ese número es el 2.