LABORATORIO

IRVIN ALEXANDER BARRERA SABAN

ING SISTEMAS
SECCION A
LOGICA DE PROPOSICIONES
1. Está lloviendo y nevando, o está soplando el viento.
P = esta lloviendo
r = esta nevando
q = esta soplando el viento

p^qvR
2. Los hombres han nacido iguales o no son libres.
P = los hombres han nacido iguales
Q = Los hombres No son libres
pvq
3. Luis se irá si Pablo se queda.
P = Luis se ira
q = Pablo se queda
q↔p
4. Si Pablo se queda, entonces Luis se va.
P = Si Pablo se queda
q = Entonces Luis se va
p↔q

5. Si los verdaderos amigos tienen todo en común, entonces tú

no puedes ser más rico que tu compañero si dices que sois
verdaderos amigos. (Platón)
 P = Si los verdades amigos tienen todo en común
q = Entonces no puedes ser mas rico que tu compañeros
r = tu compañero son verdaderos amigos
p → (r → ¬q)

6. 2 es un número primo porque sólo es divisible por sí mismo y

por la unidad.
P = 2 es un numero primo
q = porque solo es divisible por si mismo
r = por si mismo y por unidad
(p→q)^r
7. Juan entrará en la Universidad sólo si obtiene buena
puntuación en los exámenes
P = Juan estará en la universidad solo si tiene
q = buena puntuación en los examenes
p <=> q
8. Moriarty y Crumm son ambos culpables, o Crumm es inocente
P = moriarty y crumm son ambos culpables
q = o crumm es inocente
(p ^ q ) v ¬q
9. Luis hará el doctorado cuando y solamente cuando obtenga la
licenciatura
P = hará el doctorado cuando
q = solamente cuando obtenga la licenciatura
p ^q

10. Los animales, como las plantas, son seres vivos

P = Los animales son seres vivos
q = las plantas son seres vivos
p ↔q