PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE

FACULTAD DE MATEMATICAS
DEPARTAMENTO DE MATEMATICA
Primer Semestre 2010.
MAT 1004 GUIA N

1
Logica Proposicional
Proposiciones
1. Escriba simb olicamente las siguientes expresiones del lenguaje, utilizando los smbolos
usuales. Niegue cada una de las proposiciones.
a) Todos los n umeros naturales son mayores que 1
b) Si un n umero natural es menor que 4, entonces hay su sucesor es mayor que 5.
c) No es cierto que, hay n umeros naturales menores que 8 y no es cierto que, todos
los n umeros naturales son mayores que 6
d) No es cierto que, si hay un n umero natural menor que 7, entonces su antecedente
es mayor que 8.
e) No es cierto que si hay un n umero natural menor que 7, entonces su antecedente
es mayor que 8.
f ) Todo n umero natural es par o, no es cierto que hay n umeros naturales impares.
2. Dada las siguientes proposiciones, trad uzcalas a lenguaje simb olico, nieguelas y vuelva
a traducirlas al espa nol.
a) Todos los n umeros son racionales y existen n umeros que no son enteros.
b) Algunas leyes no son legtimas pero deben ser respetadas.
c) Algunos hombres cantan y no son felices.
d) Existe s olo un hombre que es rico y no es feliz.
Leyes de las Proposiciones
1. Si p es una proposici on verdadera y q es falsa, determine el valor de verdad de
(p (p q) q) [(q r) (q s)]
2. Sean p , q y r proposiciones, tales que p es verdadera, q es falsa y r es una proposici on
cualquiera. Determine el valor de verdad de
a)(p q) q b)(p r) q c) (q r) (p r)
3. Determine el valor de verdad de p , q y r en cada uno de los siguientes casos, sabiendo
que:
a)

(p q) (r q)

es verdadera.
b) [(p q) (p r) ] (p r) es falsa.
c) [(p q) (p r) ] [p (q r) ] es verdadera.
4. Si (p q) es falsa, demuestre que [(p q) (p q)] p , es verdadera.
5. Se dene los conectivos y por:
p q (p q)
p q (p q)
Demostrar que:
a) p (p p)
b) (p q) (p q)
6. Sin usar tabla de verdad, determine el valor de verdad de p, q, r y s, si la proposicion:
[ q ( r s ) ] [ ( p q ) p ] es falsa.
7. Determine el valor de verdad de p, q y r sabiendo que (p q) r es verdadera, q p
es verdadera y (p r) q es falsa.
8. Demuestre que si las proposiciones p (r q) , r q , q r , son todas verdaderas,
entonces p q tambien lo es.
9. Demuestre que es posible hallar una asignaci on de verdad que hace p r , r q y
(p r) (q r) verdaderas, y que hace falsa a p q.
10. Sean p, q, r proposiciones, tales que: p es V, q es F y r es una proposicion cualquiera.
Determine el valor de verdad de las proposiciones dadas.
a) (p q) q b) (p q) q
b) (p q) =(p q) d) q r =p r
11. Si p es V, q es F, determine el valor de verdad de
(p ( p q) q) =[( q r) =(q =s)]
12. Demostrar que
p ( p q) p q
13. Demostrar que
p =q q = p
Tautologas.
1. Demostrar que p =(p q) es una Tautologa.
2. Demuestre que las siguientes proposiciones son Tautologas.
a) (p q) (p q)
b) (p q) (p q)
c) [p (p q) ] (p q)
3. Se dene el conectivo l ogico de forma que p q es falso solo si ambas proposiciones
son verdaderas, en caso contrario p q es verdadera.
Determine si la proposici on
[(p q) q] [(p q) q]
es una Tautologa.
4. Determine si las siguientes proposiciones son o no Tautologas.
a) (p q) =(p q)
b) p =(p q)
c) (p =q) ( q = p)
Funciones Proposicionales
1. Dadas las funciones proposicionales p(x) : x es par ; q(x) : x es multiplo de 5
r(x) : x 8. Determine el valor de verdad.
a) (n N)(p(n) r(n))
b) (n N)(p(n) q(n))
c) (! n N)(r(n) q(n))
d) (n N)(m N) [p(n) (q(n) r(m))]
2. Dadas las funciones proposicionales p(x, y) : x y > 1 y q(x, y) : 2x + 3y < 2.
Determine el valor de verdad de las siguientes proposiciones, donde:
A = {2, 1, 1, 3} y B = {4, 1, 1/2}
a) (x A)(y B)

p(x, y) q(x, y)

b) (x B)(y A)

p(x, y) q(x, y)

c) (x A)(y B)

p(x, y) q(x, y)

3. Niegue las siguientes proposiciones

a) (x R)(y R)(3x + y es par)
b) (x N)(y Z)(2x + y = 5 x y < 2)
c) (! n Z)(m N)((n m > 2) (2n + m 1))
d) (m Z)(2m + 1 > 2 m4 1)