UVM Universidad

del Valle de Mxico

LAUREATE INTERNATIONAL UNIVERSITIES'

t Ejercicio 1.1
-
] . Demuestre la equivalencia de las parejas de proposiciones:
(P Q) = (-.Q ---,P)
PQ=---,PvQ
---,(P Q) = p I\ ---,Q
haciendo ver que en cada caso, de una de ellas se puede demostrar la otra (dos demostraciones)

2. Seale si las siguientes frases pueden considerarse proposiciones ( es decir si aceptan uno y slo
uno de los dos valores de verdad: falso o verdadero).
a) El nmero 30 es divisible entre 8 (V). e) Esto es falso.
b) La montaa nevada. fJ Mejor vete a frer esprragos.
e) 13 '. 2 + 8. (F) g) Todas las x son verdes. (F)
d) No hay regla sin excepcin. (F ) h) x +y= 10. (V)

3. Escriba en forma simblica las siguientes proposiciones.

a) La matemtica es sencilla y la lgica diveitida. P^Q
b) (2 + 2 = 4) o (7 X 8 = 46). PVQ
e) Un elemento pe1tenece a la interseccin de dos conjuntos si y slo si pertenece a cada uno
de ellos. P<->Q
d) Todo nmero real es algebraico o trascendente
PVQ.

4. Identifique el conectivo lgico utilizado en cada uno de los incisos. Use letras para designar
proposiciones simples y finalmente reescriba en smbolos las proposiciones.
a) Los osos no comen en invierno. PVQ=PVQ
b) Si Petra baila, es feliz.
e) La materia favorita de todos es Lgica matemtica.
d) Si la envidia fuera tia, todos an daramos tiosos.
e) Si las miradas mataran, entonces ya estaras muerto.
f) (x +y= l y 2x - y= 4) o (z > 3).
 UVM Universidad
del Valle de Mxico
LAUREATE INTERNATIONAL UNIVERSITIES'

5. Utilice:
p: a es menor que b q: a es menor o igual que b
r: bes me1or que e s: e es igual ad
t: a es menor que e
para escribir en lenguaje comn las siguientes proposiciones:
a) (p v-,r) t e) ( q r)-,t
b) [-,(pv-,q) Ar] t d) (t As) H [(rA-,P) t)]
6. Construya las tablas de erdad para las ocho tautologas bsicas.
7. Si p y r son erdaderas y q es falsa, indique si las siguientes proposiciones son o no erdaderas.
a) (pAq)p d) (p q) H-i(q p)
b) (pvq)-i(qAp) e) (pvq) r
e) (pq)q

8. Diga cules de los si.guientes argumentos son vlidos. Analice con unos y ceros.
a) -,Pv Q, -.P -,R, Q R :. P d) -.(-,P A -,Q) ., P v-,Q :. P
b) -.PQ, Q-.R, -,R :. P e) Q-,P QvR, -,R :. -,P
e) PAQ RAP :. P
9. Haga una deduccin de los siguientes argumentos.
a) S A Q b) -.Q H e) D (-.F G) d) L O
RAs H -, F -.E V D MD
:. S Fv S -.F -.(DA O) V z

:.
------
-.S :. E G -.Z

10. Determine el valor de erdad de los siguientes enunciados y niguelos sin anteponer un no.
a) V x E IR, x 2 = x d) V x E x2 = 4 x = 2
b) :3 x E 2x = x e) V x E R, :3: y E Ilt; x + y = O
e) V x E IR, lxll = x f) 3 y E JR 3 V x E 1R x +y= O

g) Se an A= {-2, -1 O 3, 5} y B = {-1,0, 1},3yE A3 VxE B, x+y::;-1

5.-
a es menor que b o b no es menor que , si a es menor que c
a no es menor que bo a no es menor o igual que , y b es menor que c si a es menor que c
a es menor o igual que b si b es menor que c, si a no es menor que c
a es menor que c y c es igual a d si y solo si bes menor que c y a no es menor que bsi a es menor que c