Logica PDF
Logica PDF
Logica PDF
Departamento de Matematica
1. Exprese las siguientes proposiciones utilizando los smbolos matematicos y logicos usuales:
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 expresion logica equivalente que solo utilice los conectivos negacion, , de las siguientes
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 Tecnica Federico Santa Mara
Departamento de Matematica
[(p q) (p q)] (r q)
14. Convierta los siguientes argumentos en notacion logica y luego determine su valor de verdad, entregando en
cada caso una demostracion 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 calculos son correctos y pago la cuenta de electricidad, me quedare sin dinero. Si no pago la
cuenta de electricidad, me cortaran 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 esta 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 esta escrita con tinta negra, excepto aquellas escritas en tercera persona.
* No he archivado ninguna de las que puedo leer.
* Ninguna de las que estan escritas en una hoja estan sin fecha.
2
Universidad Tecnica Federico Santa Mara
Departamento de Matematica
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 matematico:
a) Todos los chilenos saben leer, pero no todos entienden lo que leen.
b) Todo numero entero tiene un multiplo que es tambien multiplo de 3.
c) Hay un unico numero natural que divide a todos los demas.
d ) Un numero natural es primo si y solo si no existe ningun numero distinto de el y de la unidad, que lo
divida.
e) Hay numeros reales que son positivos y negativos a la vez.
f ) Todo numero real es igual a si mismo.
g) Si todo numero real es positivo entonces dos es impar.
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))
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)
3
Universidad Tecnica Federico Santa Mara
Departamento de Matematica
Solucion:
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.