Universidad T

ecnica Federico Santa Mara

Departamento de Matematica

Coordinaci
on de Matem
atica I (MAT021)
1er Semestre de 2011
Hoja de Trabajo L
ogica

1. Exprese las siguientes proposiciones utilizando los smbolos matematicos y logicos usuales:

a) Si el doble de cuatro es cinco entonces el cuadrado de cuatro es uno.

b) El cuadrado de tres es nueve y es menor que dos.
c) Cinco es mayor que cero o menor que cero.

2. Construya la tabla de la verdad de las siguientes proposiciones:

a) (p q) (p q) b) [p (q r)] [(q p) (r q)]
c) p [(q r) (q r)] d) [(p q) (q p)] (p q)
3. Demuestre las siguientes tautologas o teoremas logicos usando los siguientes dos metodos: a) tablas de
verdad b) equivalencias logicas:

a) {[p (q p)] [(p q) q]} (p q)

b) {[(p q) (q r)] (p r)} F
c) {[(p q) r] [(r s) s]} (p q)
d) p q p
e) [(p q) (q r)] (p r)
f ) [p (p q)] q
g) (p p) p
h) (p q q) (p q)
i ) (p q) [(p q) (p q)]

4. Demuestre sin usar tablas de verdad.

a) (p q) (p q)
b) [(p q) (p q)] (p q)
c) [((p q) r) (r (s t)) (s u) (u t)] p
d ) (p q r) (p q)
e) (p q) (p r q r)
f ) [(p r) q] (p q)
g) (p q) (p q)
h) (p (p q)) p

5. Encuentre una expresi ogica equivalente que solo utilice los conectivos negacion, , de las siguientes
on l
expresiones:
a) [(p q) (p q)] (p q) b) (p q r)
c) [(p q) (q s)] (p s) d) (p q) (p q)
6. Simplificar las proposiciones:
a) p (q p) b) (p q) q c) p [q (p q)]
d) (p q) p e) p (q p) f ) [p (q p)] q
g) (p q) p h) (p q) q i) [(p q) (p q)]
j) (p q) p k) (p q) q l) p (q p)

1
Universidad T
ecnica Federico Santa Mara
Departamento de Matematica

7. Si p q es V y q r es F, determinar el valor de verdad de (r q) (r q).

8. Determinar el valor de verdad de las proposiciones p, q y r, si se sabe que la proposicion compuesta:

{[(p q) (p r)] [p (q r)]} es V.

9. Si p q r es F, determinar el valor de verdad de: (p q) (r p).

10. Si p es V, q es V y r es F, hallar el valor de verdad de

[(p q) (p q)] (r q)

on p q es falsa, Cu
11. Si la proposici al es el valor de verdad de la proposicion p (q r) (p r) q?
12. Demuestre que el siguiente razonamiento es incorrecto:
* Si el Sr. Ramrez es capaz, entonces tendra un puesto importante en su empresa.
* El Sr. Ramrez es el sub-gerente de su empresa.
** Por lo tanto, el Sr. Ramrez es capaz.
13. En los siguientes problemas, determine la validez de los razonamientos:

a) Si Juan bebe cerveza, tiene al menos 18 a

nos.
Juan no bebe cerveza.
Por lo tanto, Juan no tiene a
un 18 a
nos.
b) Si las ni
nas son rubias, entonces son populares entre los ni
nos.
Las ninas feas no son populares entre los ni
nos.
Las ninas intelectuales son feas.
Por lo tanto, las ni
nas rubias no son intelectuales.
c) Si estudio entonces no reprobare este curso.
Si no juego a los naipes muy seguido, entonces estudiare.
Reprobe este curso.
Por lo tanto, jugue muy seguido a los naipes.

14. Convierta los siguientes argumentos en notacion logica y luego determine su valor de verdad, entregando en
cada caso una demostraci on formal:

a) Si estudio leyes entonces ganare mucho dinero. Si estudio arqueologa viajare mucho. Si gano mucho
dinero o viajo mucho no me decepciono. Por lo tanto, si estoy decepcionado no estudie leyes ni arqueo-
loga.
b) Si mis c
alculos son correctos y pago la cuenta de electricidad, me quedare sin dinero. Si no pago la
cuenta de electricidad, me cortar
an la corriente. Por lo tanto, si no me he quedado sin dinero y no me
han cortado la corriente, entonces mis calculos son incorrectos.

15. Si Stoke City evita las lesiones ellos ganaran el campeonato. Ellos evitan las lesiones o el arbitro esta comprado.
Si el
arbitro est
a comprado entonces la hinchada no estara feliz. Pero la hinchada esta feliz. Suponga que todas
estas proposiciones son verdaderas, Sera Stoke City el campeon?.
16. Pruebe que el siguiente razonamiento es valido.
* Todas las cartas fechadas en esta habitacion estan escritas sobre papel azul.
* Ninguna est
a escrita con tinta negra, excepto aquellas escritas en tercera persona.
* No he archivado ninguna de las que puedo leer.
* Ninguna de las que est
an escritas en una hoja estan sin fecha.

2
Universidad T
ecnica Federico Santa Mara
Departamento de Matematica

* Todas las que no est

an eliminadas est
an en tinta negra.
* Todas las escritas por Perez empiezan con Estimado se
nor.
* Todas las que est
an escritas en papel azul estan archivadas.
* Ninguna de las que est
an escritas en mas de una hoja estan eliminadas.
* Ninguna de las que empiezan con Estimado se
nor estan escritas en tercera persona.
** Por lo tanto: No puedo leer ninguna de las cartas de Perez.
17. Se define p q por la siguiente tabla:

p q pq
V V F
V F V
F V V
F F V
Demuestre que:

a) p p p
b) p q (p q) (p q)
c) p q (p q) (q q)

18. Defina las variables y funciones proposicionales necesarias para transcribir las siguientes afirmaciones al len-
guaje matem atico:

a) Todos los chilenos saben leer, pero no todos entienden lo que leen.
b) Todo n
umero entero tiene un m
ultiplo que es tambien m
ultiplo de 3.
c) Hay un u
nico n
umero natural que divide a todos los demas.
d ) Un numero natural es primo si y solo si no existe ning
un n
umero distinto de el y de la unidad, que lo
divida.
e) Hay n
umeros reales que son positivos y negativos a la vez.
f ) Todo n
umero real es igual a si mismo.
g) Si todo n
umero real es positivo entonces dos es impar.

19. Expresar en lenguaje natural las siguientes proposiciones:

a) (x N) (x 3)
b) (x Z) (y N) (x y)
c) (x R) (y R) (x + y < 2 x + y < 2x)
d ) (2 > 3 (x R) (x < 0))

20. Si A = {1, 2, 3, 4}. Determine el valor de verdad de las proposiciones:

a) (x A) (x 6= 0 x > 3)
b) (x A) (x > 1 x = 3)
c) (y A) (x A) (x + y = 3)
d ) (x A) (y A) (x + y 5)

21. Negar las proposiciones del ejercicio anterior.

3
Universidad T
ecnica Federico Santa Mara
Departamento de Matematica

Ejemplo pregunta de control

Muestre, sin usar Tablas de Verdad, que la siguiente proposicion es una Tautologa
hn o n oi
(p q) [p (q r)] [p (q r)] (p q) [r (r q) p]

Soluci
on:
hn o n oi
[p (q r)] [p (q r)] (p q) [r (r q) p]
hn o n oi
[p (q r)] [p (q r)] (p q) [r (r q) p]
hn o n oi
[p (q r)] [p (q r)] (p q) [r (r q) p]
h n oi
V (p q) [r (r q) p] 20pt.
h n oi
V (p q) [r (r q) p]
h n oi
V (p q) [[(r r) (r q)] p]
h n oi
V (p q) [[V (r q)] p]
h n oi
V (p q) [(r q) p] 15pt.
h n oi
V (p q) [r (q p)]
h n oi
V [(p q) r] (q p)
h n oi
V [(p q) r] [(q p) F ]
h n oi
V (p q) [r F ]
h n oi
V (p q) F
h i
V (p q)
(p q) 15pt.