TAREA 1 LÓGICA DE PREDICADO

GRUPO 4

ALEXANDRA TORRES GARCÍA - 201923249

GUILLERMO MURILLO TIRADO - 201821553
LAURA MARTÍNEZ - 201814168
MICHELLE VARGAS - 201914771
EMILIO ACUÑA - 202028271
DANIELA BORDA CASTILLO - 202121988

4.1. Formalice los siguientes enunciados. Complete la guı́a de simbolización.

UD : Objetos en una gaveta
Primero vamos a dar la guı́a de simbolización:

Cx : x es un CD de vallenato
Rx : x es repetitivo
Ax : x es aburrido
Ox : x es una cosedora
Lxy : x está al lado de y
Bx : x es una canica
Dx : x es un lápiz
b : el borrador
Fx : x es un clip
Gx : x es azul
Exy : x está encima de y
Mzxy : x está entre z y y

1. Los Cds de vallenato son repetitivos y aburridos excepto los que están al lado de una
cosedora.

(∀x)(∀y)[(Cx & Oy & ∼ Lxy ) ⊃ (Rx &Ax )]

2. Hay una canica al lado de cada lápiz.

(∀x)(∃y)((Dx & By ) ⊃ Lxy )

3. El borrador está encima de todos los clips que no son azules.

(∀x)[(Fx & ∼ Gx ) ⊃ Ebx ]

4. Hay una canica en la mitad de todos los lápices.

(∃x)(∀y)(∀z)[(Dy & Dz & y 6= z & Bx ) ⊃ Mzxy ]

1
2 GRUPO 4

4.2. Determine cuáles de las siguientes expresiones son fórmulas de LC. Si lo

son, señale si son fórmulas cerradas o no.

1. ∼ (∀x)(∀y)Cxy

Sı́ es una fórmula de LC y es cerrada.

2. (∀z)(Hz & Ix ) ⊃ (∀x)(Dg & Ez )

No es una fórmula de LC ya que (∀x)(Dg & Ez ) no lo es.

3. (∃x)(Gxax ∼ ∨ ∼ Haxb )

No es una fórmula de LC ya que Gxax ∼ ∨ ∼ Haxb no lo es.

4. (∃x)(Dy &Oz ) ∨ (Ay ∨ By )

No es una fórmula de LC ya que se está cunatificando una variable que no ocurre ni una vez.

5. (∀z)(Ez ∨ Hz ) ⊃ [(∃x)(Mx ⊃ Ox ) ⊃ (∃y)(∼ Ty ⊃∼ Py )]

Sı́ es una fórmula de LC y es cerrada.

 TAREA 1 LÓGICA DE PREDICADO 3

4.3. Formalice los siguientes enunciados. Complete la guı́a de simbolización.

UD : David, Samuel y todos los objetos del cuarto de David y Samuel.
Primero vamos a dar la guı́a de simbolización:

d : David
s : Samuel
Zx : x sueña con los Caballeros del Zodiaco
Sxy : x sueña con y
b : el muñeco de Batman de David
Exy : x encuentra a y
Px : x es una pantulfa de Samuel
Mx : x es un muñeco de David
Dx : x está dormido
g : el muñeco de Guasón de Samuel
Bxy : x busca a y
Ax : x sueña con Supermán
Bx : x sueña con Batman

1. David sueña con los Caballeros del Zodiaco y con su muñeco de Batman.

Zd & Sdb
2. Samuel encuentra una de sus pantuas.

(∃x)(Px & Esx )

3. Ningún muñeco de David está dormido.

∼ (∃x)[Mx & Dx ]
4. Samuel busca su muñeco del Guasón, pero no lo encuentra.

Bsg & ∼ Esg

5. David sueña con Supermán y con Batman.

Ad & Bd