1. Resuelva cada una de las siguientes expresiones utilizando las leyes lgicas.

a. (pq)p

b. p(pq)

c. p(pq)

d. (pq)(pq)

e. (pq)p

f. (pq)q

g. (p(pq))q

h. (pq)(pq)

i. (((pq)r)q)

j. [(pq)(qr)](pr)

2. Sean p(x): x es par, q(x): x divide a 44, (x es un entero positivo).Traslade a

frases lo siguiente y determine el valor de verdad en cada caso
a. x[p(x)q(x)]
Frase: existe algn nmero entero positivo par que divide a 44.
V: es verdad puesto que si existe un numero entero positivo par que al
dividir a 44 da un numero exacto ejemplo: 44/4 =11.
b. x[p(x)q(x)]
Frase: todo nmero entero positivo par divide a 44.
F: es falso puesto que existen nmeros enteros positivos pares mayores a
44 que al dividirlo da un numero decimal ejemplo: 44/46= 0.96.
c. x[p(x)q(x)]
Frase: existe algn nmero entero positivo impar que divide a 44.
V: es verdad puesto que el numero 1 es impar y al dividir a 44 da un
numero exacto ejemplo: 44/1=44.

d. x[p(x)q(x)]
Frase: existe algn nmero entero positivo par o algn nmero entero
positivo que divide a 44.
V: es verdad puesto que si existe algn entero positivo par adems
tambin existe un numero positivo que al dividir a 44 da un numero
exacto ejemplo: 44/2=22.

3. Utilizando smbolos apropiados para cuantificadores re- escriba

simblicamente las afirmaciones siguientes.
a. Todo nmero real tiene un opuesto (inverso aditivo).

b. El cuadrado de todo nmero es mayor o igual a cero.

c. Cada persona tiene una madre.

d. Todos los nios de la escuela saben escribir; hay nios que no saben
escribir y no van a la escuela; ningn nio de la escuela es vago. En
conclusin todos los nios vagos no saben escribir. Asuma que el universo
del discurso son todas las personas.

e. Todas las jirafas tienen el cuello largo; los animales que tienen el cuello
largo se alimentan de vegetales. Por lo tanto las jirafas se alimentan de
vegetales. Asuma que el universo del discurso son todos los animales.

4. Sean A(x): x es inculto, E(x): x es un estudiante. Cual es la expresin que corresponde

a la proposicin Todo estudiante no es inculto.
x E x
x E x

a.
b.

A x
A x

Respuesta: La expresin que corresponde a la proposicin Todo estudiante no es

inculto es la a.
5. Utilice los smbolos para los predicados y a partir de la respuesta niegue la proposicin.

a.

No todas las personas tienen buenas intenciones.

b.

Ningn ser humano es razonable.

P(x): x es humano
Q(x): x es razonable
x p x q x
x p x q x

c.

Ningn gato es afectuoso.

d. Toda liebre es rpida

6. Dado que p(x) sea el estamento x=x^2. Si el universo del discurso es el

conjunto de los enteros. Cual es el valor de verdad de los siguientes.
a. P(0)

b. P (2)

c. P (1)

d. P(-1)

e. x P(x)
f. x P(x)

P (0):

P (2):

P (1):

P (-1):
x P(x):

0 = (0) ^2
0=0

Verdadero

2 = (2) ^2
2=4

Falso

1 = (1) ^2
1= 1

Verdadero

-1 = (-1) ^2
-1=1

Falso

1 = (1) ^2
1=1

x P(x): 3 = (3) ^2
3=9

Verdadero

Falso

7. Dado A= {0, 1, 2, 3, 4, 5} encuentre el valor de verdad de los siguientes

enunciados. Argumente su respuesta.
a. (x A) (x+3=6)(x A)(x+3<6)
Respuesta: El valor de verdad de este enunciado es falso.
Para x = 0

(0+3 = 6)
( 3 = 6)
F

(0+3<6)
(3<6)
V

Para x = 1

(1+3 = 6)
( 4 = 6)
F

(1+3<6)
(4<6)
V

Para x = 2

(2+3 = 6)
( 5 = 6)
F

(2+3<6)
(5<6)
V

Para x = 3

(3+3 = 6)
( 6 = 6)
V

(3+3<6)
(6<6)
F

Para x = 4

(4+3 = 6)
( 7 = 6)
F

(4+3<6)
(7<6)
F

Para x = 5

(5+3 = 6)
( 8 = 6)
F

(5+3<6)
(8<6)
F

Argumento: En el caso del cuantificador existencial vemos que es verdadero

puesto que para x = 6 cumple con la condicin, pero en el caso de
cuantificador universal, no todos los x cumplen con la condicin ejemplo:
(4+3<6) se hace falso puesto que 7 es mayor que 6, por lo tanto esa
condicin es falsa, dada la doble condicin VF = F, entonces el valor de
verdad des este enunciado es falso.

b. (x A) (x+3<4)(x A)(x+3 8)
Respuesta: El valor de verdad de este enunciado es falso.
Para x = 0

(0+3 < 4)
( 3 < 4)
V

(0+38)
(38)
V

Para x = 1

(1+3 < 4)
( 4 < 4)
F

(1+38)
(48)
V

Para x = 2

(2+3 < 4)
( 5 < 4)
F

(2+38)
(58)
V

Para x = 3

(3+3 < 4)
( 6 < 4)
F

(3+38)
(68)
V

Para x = 4

(4+3 < 4)
( 7 < 4)
F

(4+38)
(78)
V

Para x = 5

(5+3 < 4)
( 8 < 4)
F

(5+38)
(88)
V

Argumento: En el caso del cuantificador existencial es verdadero puesto

que para x=0 cumple con la condicin. En el caso del cuantificador
universal tambin es verdadero, puesto que la condicin es verdadera en
todos los casos, por lo tanto la condicin V V = V, hace que este
enunciado sea verdadero.

c. (x y A){x + y es divisible por 4}

Respuesta: El valor de verdad de este enunciado es verdadero.
Para x=0

0+0=0/4=0
0+1=1/4=0.25
0+2=2/4=0.5
0+3=3/4=0.75

0+4=4/4=1
0+5=5/4=1.25
Para x = 1

Para x = 2

Para x = 3

Para x = 4

Para x = 5

1+0=1/4=0.25
1+1=2/4=0.5
1+2=3/4=0.75
1+3=4/4=1
1+4=5/4=1.25
1+5=6/4=1.5
2+0=2/4=0.5
2+1=3/4=0.75
2+2=4/4=01
2+3=5/4=1.25
2+4=6/4=1.5
2+5=7/4=1.75
3+0=3/4=0.75
3+1=4/4=1
3+2=5/4=1.25
3+3=6/4=1.5
3+4=7/4=1.75
3+5=8/4=2
3+0=4/4=1
3+1=5/4=1.25
3+2=6/4=1.5
3+3=7/4=1.75
3+4=8/4=2
3+5=9/4=2.25
4+0=5/4=1.25
4+1=6/4=1.5
4+2=7/4=1.75
4+3=8/4=2
4+4=9/4=2.25
4+5=10/4=2.5

Argumento: Este enunciado es verdadero puesto que vemos que para todo
x existe por lo menos un y, tal que la suma de ambos al dividirla entre 4 nos
da un nmero entero.
d. (x y A){x*y es divisible por 2}

Respuesta: El valor de verdad de este enunciado es verdadero.

Para x=0

Para x = 1

Para x = 2

Para x = 3

Para x = 4

Para x = 5

0*0=0/2=0
0*1=0/2=0
0*2=0/2=0
0*3=0/2=0
0*4=0/2=0
0*5=0/2=0
1*0=0/2=0
1*1=1/2=0.5
1*2=2/2=1
1*3=3/2=1.5
1*4=4/2=2
1*5=5/2=2.5
2*0=0/2=0
2*1=2/2=1
2*2=4/2=2
2*3=6/2=3
2*4=8/2=4
2*5=10/2=5
3*0=0/2=0
3*1=3/2=1.5
3*2=6/2=3
3*3=9/2=4.5
3*4=12/2=6
3*5=15/2=7.5
4*0=0/2=0
4*1=4/2=2
4*2=8/2=4
4*3=12/2=6
4*4=16/2=8
4*5=20/2=10
5*0=0/2=0
5*1=5/2=2.5
5*2=10/2=5
5*3=15/2=7.5
5*4=20/2=10
5*5=25/2=12.5

Argumento: Este enunciado es verdadero puesto que vemos que si existe

por lo menos un x tal que para todas las y, al dividirlo entre 2 nos da n
nuero entero, como los son: x= 0, x= 2 y x= 4.