1) Anteponer los cuantificadores correspondientes en las siguientes funciones proposicionales,

para que cada una resulte verdadera (x representa un número real):

a) x2−25=(x−5).(x+5)

b) x2+4=0

c) x+2>x

d) 2.x+5<15

Llegué a las siguientes respuestas:

a) P(x):x2−25=(x−5).(x+5)

∀x∈R:x2−25=(x−5).(x+5)

b) P(x):x2+4=0

∀x∈R:x2+4±0

c) P(x):x+2>x

∀x∈R:x+2>x

d) P(x):2.x+5<15

∃x∈R/2.x+5<15 (¿Aquí debería aclarar que x debe ser ≤4?)

2) Simbolizar mediante cuantificadores:

a) Existe un número entero mayor a todos los otros.

b) Todas las personas aman.

c) Hay músicos excelentes y mediocres.

d) El producto de dos números reales cualesquiera es siempre nulo.

e) Si hay autos nacionales, no habrá importados.

f) Algunos aviones navegan y no vuelan.

Y aquí he llegado a:

a) ∃x∈Z/x>∞

b) ∀x:P(x)

c) ∃x/P(x)

d) ∀x∈R:2.x=0

e) ∀x:P(x)

f) ∃x/P(x)
 3-Determine el valor de verdad de las siguientes proposiciones, considerando que

U = { }7,6,5,4,3,2,1

a. ; 13 2 xxUx =−∈∃
x=1 1(2)-1=13 falso
x=2 2(2)-2=13 falso
x=3 3(2)-3=13 falso
x=4 4(2)-4=13 falso
x=5 5(2)-5=13 falso
x=6 6(2)-6=13 falso

La proposición es falsa, ya que para todos lo elementos de U la proposición es

falsa

b. ; 20 2 xxUx >−∈∃

x = 1 20112 >− falso

x = 2 20222 >− falso

x = 3 20332 >− falso

x = 4 20442 >− falso

x = 5 20552 >− falso

x = 6 20662 >− verdadero

X=1 1(2)-1>20 falso

X=2 2(2)-2>20 falso
X=3 3(2)-3>20 falso
X=4 4(2)-4>20 falso
X=5 5(2)-5>20 falso
X=6 6(2)-6>20 verdadero

La proposición es verdadera, ya que existe un elemento de U que satisface la

Proposición

4- Andrea y Sergio son de la misma edad o Andrea es de más edad que Sergio. Si

Andrea y Sergio son de la misma edad entonces Daniela y Andrea no son de la

misma edad. Si Andrea es de más edad que Sergio entonces Andrea es de más edad

que Luis.
Conclusión: Daniela y Andrea no son de la misma edad o Andrea es de más edad

que Luis

Sea p = Andrea y Sergio son de la misma edad

q = Andrea es de más edad que Sergio

r = Daniela y Andrea no son de la misma edad

s = Andrea es de más edad que Luis

En otra palabras ( )( ) ⇒∧∨ ∧ ( ⇒ sqrpqp ) es verdadero y debemos demostrar

( ∨ sr ) es verdadero.

( ) ( )( ) ⇒∧∨ ∧ ( ∨⇔⇒ srsqrpqp ) A través de las tautologías fundamentales

5- En el dominio de todas las películas, sea R(x) el predicado “x es romántica”.

Exprese las siguientes proposiciones utilizando predicados y cuantificadores.

1) Algunas películas son románticas. ƎxR(x)

2) Algunas películas no son románticas. Ǝx ~ R(x)

3) Ninguna película es romántica. Es equivalente a decir que Todas las películas

no son románticas. ∀x~R(x)

4) Todas las películas son románticas. ∀xR(x)

6.En el dominio de todos los libros, considere los siguientes

predicados: P(x) = es pesado C(x) = ese confuso

a) (∀x )(P (x ) →C (x )) : Si todos los libros son pesados entonces son confusos.

b) (Ǝ x )(C (x ) ∧P ( x)): Algunos libros son confusos y pesados.

C) (∀x )(C ( x)VP (x )): Todos los libros son confusos ó pesados.

d) (Ǝx )(P ( x) ∧~C (x )): Existe un libro pesado que no es confuso.

7-Expresar “todos los gatos

tienen cola” en cálculo de predicados.

Solución:

Hallar primero el ámbito del cuantificador

universal, que es “Si x es un gato,

entonces x tiene cola” y se define como

Gx ↔ x es un gato

Cx ↔ x tiene cola ∴
(∀x) Gx → Cx

8-“Para cada x e y, si x es mayor que y

entonces no ocurre que y sea mayor que

x”

“Dos es mayor que uno”

“Por lo tanto, no ocurre que uno sea

mayor que dos”

Demostrar: ¬ (1 > 2) si ...

1) (∀x) (∀y) [x > y → ¬ (y > x)] P

2) 2 > 1 P

3) 2 > 1 → ¬ (1 > 2) 2/x, 1/y (1)

4) ¬ (1 > 2) PP(2,3)

9-Demuestre:

a) p∨q ≡ (p ∨ q)∧ ∼ (p ∧ q)

b) ∼ [p ⇒∼ (q∨ ∼ p)] ⇔ (p ∧ q)

Demostraci´on.

a) Es simple, verificar mediante tablas.

b) Tenemos que:

∼ [p ⇒∼ (q∨ ∼ p)] ⇔ [p ∧ (q∨ ∼ p)∧ ∼ (q∧ ∼ p)]

⇔ [p ∧ (q∨ ∼ p) ∧ (∼ q ∨ p)]

⇔ {[(p ∧ q) ∨ (p∧ ∼ p)] ∧ (∼ q ∨ p)}

⇔ (p ∧ q) ∧ (∼ q ∨ p) ⇔ p ∧ [q ∧ (∼ q ∨ p)]

⇔ p ∧ [(q∧ ∼ q) ∨ (q ∧ p)] ⇔ p ∧ (q ∧ p) ⇔ p ∧ q