Universidad Nacional de Colombia

Departamento de Lingüística
Semántica- Tarea 5
Samuel Mendoza, Adriana Vargas

(Ojo: ¡si algunos símbolos no se despliegan correctamente en su computador, use la version PDF!)

1 Translate the following sentences into predicate logic. For compound sentences use the truth-
functional connectives we employed in this chapter. Some symbols are provided for your use:

[Symbols: a = Arthur, m = Merlin, g = Guinevere, l = Lancelot, e = the sword Excalibur,

K(x) = x was a king, Q(x) = x was a queen, W(x) = x was a wizard, A(x, y) = x advised y,
P(x, y) = x possessed y, L(x, y) = x loved y] (5 pts)

Sentences Logical predicates

a. Arthur was a king and Merlin was a wizard. K(a) ∧W(m)

b. If Arthur was a king, then Guinevere was a queen. K(a) → Q(g)

c. Arthur, who was a king, possessed the sword Excalibur. K(a)∧P(a,e)

d. Merlin did not advise Lancelot. ┐A(m,l)

e. Either Lancelot loved Guinevere or Guinevere loved Lancelot. L(l,g) ˅ L(,g,l)

2 Translate the following sentences into predicate logic, using the restricted format for ∃ and ∀,
the existential and universal quantifiers, as necessary (e.g. ∃x: D(x)). Note which sentences, if
any, allow two interpretations. (10 pts)

Sentences Logical predicates

a. Lancelot hated all dragons. (∀x = D(x)) (H(i,x))

b. Every dragon was nervous of Lancelot. (∀x = D(x)) (N(x,l))

c. Every dragon wasn’t keen on Merlin. (∀x = D(x)) (¬K(x,m))

(¬∀x = D(x)) (K(x,m))
d. Not everyone searched for the Holy Grail. (¬∀x = P(x)) (S(x,h))
(∀x = P(x)) (¬S(x,h))
e. Some dragons were killed by Lancelot. (Ǝ x = D(x)) (K(l,x))

f. It is possible that Lancelot killed two dragons. F (D) = Dragons

F (K) = Killed by Lancelot
◊ │K∩D│= 2
g. Most dragons were not killed by Lancelot. F (D) = Dragons
F (K) = Killed by Lancelot
│ ˺ K∩D│˃│ K∩D│
h. More than twenty-one dragons escaped from Lancelot. F (D) = Dragons
F (E) = Escaped from Lancelot
│D∩E│˃ 21
i. It was necessary that Merlin searched for the Holy Grail □ S(m,h)

1
j. Only one person found the Holy Grail F (P) = Person
F (F) = Found the Holy Grail
│ P∩F│= 1
3 For the following exercise, assume the model M3 specified below (5 pts):

U3 = {Lancelot, Gawaine, Elaine, Igraine, dragon}

F3(l) = Lancelot,
F3(g) = Gawaine,
F3(e) = Elaine,
F3(i) = Igraine,
F3(d) = dragon

F3(M) = was a maiden = {<Elaine>, <Igraine>}

F3(K) = was a knight = {<Lancelot>, <Gawaine>}
F3(D) = was a dragon = {<dragon>}
F3(L) = loved = {<Elaine, Lancelot>, <Igraine, Gawaine>, <Gawaine, Igraine>}
F3(C) = captured = {<dragon, Elaine>, <dragon, Igraine>}
F3(S) = slew = {<Lancelot, dragon>}
F3(F) = freed = {<Lancelot, Elaine>, <Lancelot, Igraine>}

Calculate the truth-value of the following sentences with respect to M3. For each predicate, you just need
to state the truth-value, as in the example bellow:

Example: L(g, I) = 1

a. C(d, l) =0
b. (∀x: M(x)) (L(x, g)) =0
c. (∃x: M(x)) (L(x, g)) =1
d. S(l, d) ∧ (¬∃x: K(x)) (L(x, e)) =1
e. ((∀x: D(x)) (S(l, x))) ∧ ((∀y: M(y)) (F(l, y))) =1

4 Lea atentamente el siguiente texto:

El 5 de septiembre de 1993, Colombia goleó a Argentina 5-0 en el Estadio Monumental de Buenos Aires.
El partido, arbitrado por el uruguayo Ernesto Filippi, es recordado como un hito de la historia del fútbol
colombiano. La selección Argentina fue dirida por el técnico Alfo Basile e incluyó a figuras de prestigio
internacional como el arquero Sergio Goycochea, el mediocampista Diego Simeone, y el delantero
Gabriel Batistuta. Por su parte, la selección Colombia fue dirigida por el técnico Francisco Maturana, y
contó con figuras como los mediocampistas Carlos Valderrama, capitán del equipo, y Freddy Rincón, el
arquero Óscar Córdoba y los delanteros Faustino Asprilla y Adolfo “El Tren” Valencia. Freddy Rincón y
Faustino Asprilla marcaron dos goles cada uno y El Tren Valencia cerró con el quinto gol de la histórica
jornada. Diego Maradona fungió como hincha y, aunque a pocos días del encuentro aseguró que “No se
puede cambiar la historia: Argentina arriba, Colombia abajo,” al final del partido terminó aplaudiendo al
equipo colombiano.

2
Construya un modelo lógico (M4) en forma similar al ejercicio anterior del punto 3 (M 3) (5 pts).

U4= {Colombia, Argentina, Filippi, Basile, Goycochea, Simeone, Batistuta, Maturana, Valderrama,
Rincón, Córdoba, Asprilla, Valencia, Maradona}

F4(c)= Colombia F4(g)= Goycochea F4(v)= Valderrama F4(l)= Valencia

F4(a)= Argentina F4(s)= Simeone F4(r)= Rincón F4(o)=Maradona
F4(f)= Filippi F4(t)= Batistuta F4(d) Córdoba F4(i)= Partido
F4(b)= Basile F4(m) Maturana F4(p) Asprilla F4(e)= Gol

F4(A)= era arquero= {<Goycochea>,<Córdoba>}

F4(M)= era mediocampista= {<Simeone>, <Valderrama>, <Rincón>}
F4(D)= era delantero= {<Batistuta>, <Asprilla>, <Valencia>}
F4(H)= era hincha= {<Maradona>}
F4(R)= Dirigir= {<Basile, Argentina>, < Maturana, Colombia>}
F4(B)= Arbitrar= {<Filippi, Partido>}
F4(G)= Golear= {<Colombia, Argentina>}
F4(M)= Marcar goles= {<Asprilla, Rincón, Valencia>}

Una vez haya construido el modelo lógico, construya libremente cinco enunciados lógicos que cumplan
las siguientes características y tradúzcalos a lenguaje natural (siga el modelo) (5 pts):

Modelo: A(e, p) “Ernesto Filippi arbitró el partido”

a. Un enunciado con expresion(es) de cuantificación universal

((∀x: E(x)) (¬M(p, e)))=Asprilla no marcó todos los goles

b. Un enunciado con expresion(es) de cuantificación existencial

((∃x: E(x)) (M(p, e)))= Asprilla marcó algunos goles

c. Un enunciado con expresion(es) de cuantificación cardinal

F(A)=Jugadores A B
F(B)=Delanteros
F(C)=No delanteros

[A∩B] > [A-B]

d. Un enunciado con el conector lógico ⋀

D(m,c) ∧ D(b,a)= Maturana dirigió a Colombia y Basile dirigió a Argentina

3
e. Un enunciado que se refiera a Diego Maradona
H(o)= Maradona fue un hincha

5 Ensayo (1 página, 3 párrafos; lengua de respuesta: inglés o español) (20 pts)

Discuta libremente las ventajas y desventajas de la semántica formal en sus avances recientes de
aproximación a la subjetividad y al discurso. Asegúrese de que su ensayo cumpla las siguientes
condiciones:

- En su discusión, tenga en cuenta las secciones 10.8 Intensionality y 10.9 Dynamic

Approaches to Discourse de su libro de texto (pp. 331-345). Incluya, por lo menos, una
referencia al texto (obligatorio).
- Fundamente sus opiniones en algunos ejemplos tomados del punto 4 de esta tarea
(obligatorio)
- Puede incorporar algunos elementos de contexto histórico y social si así lo desea (opcional).