TRABAJO PRCTICO N 1 Ingeniera en Informtica

UNIVERSIDAD NACIONAL DE JUJY

Licenciatura en Sistemas
Facultad de Ingenieria
Clculo Proposicional Lgica Computacional 2017

1. Seale cada proposicin atmica con una A y cada proposicin molecular con una M. Escribir junto
a cada proposicin molecular el termino de enlace utilizado.

Tipo Proposicin Termino

La comida ser hoy a las tres de La tarde.-
El gran oso negro andaba perezosamente por el camino de abajo.-
La msica es muy suave o la puerta est cerrada.-
A este perro grande le gusta cazar gatos.-
El pregunta por su pipa y pregunta por su escudilla.-
Luis es un buen jugador o es muy afortunado.-
Si Luis es un buen jugador, entonces participara en el partido del colegio.-
California est al oeste de Nevada y Nevada al oeste de Utah.-
Muchos estudiantes estudian Lgica en el primer ao de la carrera.-
Se puede encontrar a Juana en casa de Susana.-
A las focas no les crece el pelo.-
Si Mara canta, entonces es feliz.-
Los alumnos mayores no estn en la lista antes que los jvenes.-
Si aquellas nubes se mueven en esta direccin, entonces tendremos lluvia.-
Si los deseos fueran caballos, entonces los mendigos cabalgaran.-
Esta proposicin es atmica o es molecular.-
El sol calentaba el agua, estaba muy agradable.-
Si x = 0 entonces x + y = 1.-
x + y > 2.-
x = 1 o y + z = 2.-
y = 2 y z = 10.-

2. Formar cuatro (4) proposiciones moleculares utilizando una o dos de las proposiciones escritas a
continuacin. Utilice cada uno de los cuatro trminos de enlace una sola vez.
El viento sopla muy fuerte.
Pablo podra ganar fcilmente.-
La lluvia puede ser la causa de que abandone la carrera.
Veremos que planes hay para maana.
Todava tendramos tiempo de llegar a las siete.
El amigo de Juan tiene razn.
Profesor Adjunto: Mg. Ing. Hctor Pedro Liberatori
1
Aydante de 1: Mg. Ing. Sebastin Figueroa
 TRABAJO PRCTICO N 1 Ingeniera en Informtica
UNIVERSIDAD NACIONAL DE JUJY
Licenciatura en Sistemas
Facultad de Ingenieria
Clculo Proposicional Lgica Computacional 2017

Estbamos confundidos respecto a la hora de la junta.

3. Decir cuntas proposiciones atmicas se encuentran en cada proposicin molecular y determine el

trmino de enlace.

N Proposicin Termino
Este no es mi da feliz.-
A llegado el invierno y los das son ms cortos.-
Muchos grmenes no son bacteria.-
Los anfibios se encuentran en el agua fresca o se encuentran en la tierra
cerca de sitios hmedos.-
Si hay fallas en las grandes mazas rocosas, entonces es posible que ocurran
terremotos.-
Este numero es mayor que dos o es igual que dos.-
Si es un numero positivo entonces es mayor que cero.-
Este chico es mi hermano y yo soy su hermana.-
Mi puntuacin es alta o recibir una calificacin baja.-
Si Ud. se da prisa entonces llegara a tiempo.-
Si x > 0 entonces y = 2.-
Si x + y = 2 entonces z > 0.-
x = 0 o y = 1.-
Si x = 1 o Z= 2 entonces y > 1.-
Si z > 10 entonces x + z > 10 y y + z > 10.-
x + y = y + x.-

4. Escribir primero cinco (5) proposiciones atmicas y formar despus cinco (5) proposiciones
moleculares.

5. Simbolizar o formalizar completamente las siguientes proposiciones. En todos los casos especificar
la proposicin atmica que representa cada letra mayscula.
a) Si una sustancia orgnica se descompone, entonces sus componentes se transforman en abono y
fertilizan el suelo.
b) yo estoy equivocado, o la pregunta numero uno es cierta y la pregunta numero dos es falsa.
c) A la vez yo estoy equivocado o la pregunta numero uno es cierta y la numero dos es falsa.
d) yo estoy equivocado y la pregunta numero uno es cierta o la pregunta numero dos es falsa.
e) No ocurre que, a la vez Juana sea su hermana y rosa sea su hermana.
f) Juana no es su hermana y rosa es su hermana.

Profesor Adjunto: Mg. Ing. Hctor Pedro Liberatori

2
Aydante de 1: Mg. Ing. Sebastin Figueroa
 TRABAJO PRCTICO N 1 Ingeniera en Informtica
UNIVERSIDAD NACIONAL DE JUJY
Licenciatura en Sistemas
Facultad de Ingenieria
Clculo Proposicional Lgica Computacional 2017

g) Si se conoce el periodo del movimiento de la luna y se sabe la distancia de la tierra a la luna,

entonces se puede calcular la aceleracin centrpeta de la luna.
h) sus deberes estn terminados, o si no estn terminados tendrn que hacerlo por la noche.
i) No todas las regiones de Africa tienen un clima clido y hmedo y no toda el frica ecuatorial es
una tierra de vegetacin espesa y exuberante.
j) Si son las diez entonces la cesin de la asamblea general a empezado, y ahora el reloj seala las
diez.
k) No ocurre que, o estrellas muy lejanas presentan paralaje o aparecen en el telescopio cono disco.
l) Si este mineral no es duro, entonces no esta compuesto de cristales de cuarzo.
m) Si es despus de las cinco, entonces la puesta esta cerrada y yo no tengo la llave.
n) Si es despus de las cinco entonces la puesta esta cerrada y adems, yo no tengo la llave.

6. Realice la tabla de verdad de cada uno de los trminos de enlaces.

7. Determinar los valores de verdad de las siguientes proposiciones por medio de sus diagramas, si P
y Q son proposiciones verdaderas y A y B son proposiciones falsas.
a) P (P Q)
b) (A P) (P A)
c) (P A) (A P)
d) (P A) (P A)
e) (P ^ Q) (P v Q)
f) (P ^ B) (P v B)
g) [(P ^ Q) B] [P (Q B)]
h) [(P v B) ^ (B v A)]
i) (P v B) v (B ^ A)
j) (P Q) (Q P)

8. Sean:
P=2+4= 6
Q = 2 + 8 = 10
R = 3 * 4 = 12
S=2*0= 2
Se conocen los valores de verdad de P, Q, R y S. Hallar los valores de verdad de las proposiciones
siguientes:
a) (P ^ Q) ^ (R ^ S) P v S
b) P ^ Q R ^ S
c) (P Q) [(Q R) (R S)]
d) (P Q) (S R)
e) (P ^ Q) v S (P S)
Profesor Adjunto: Mg. Ing. Hctor Pedro Liberatori
3
Aydante de 1: Mg. Ing. Sebastin Figueroa
 TRABAJO PRCTICO N 1 Ingeniera en Informtica
UNIVERSIDAD NACIONAL DE JUJY
Licenciatura en Sistemas
Facultad de Ingenieria
Clculo Proposicional Lgica Computacional 2017

f) (P Q) (P v R) ^ S
g) (Q ^ R) ^ S (P S)
h) (P Q) (S R)
i) S P ^ Q
j) P ^ Q S

9. Si P y Q son proposiciones atmicas distintas, Cules de las siguientes son tautolgicas? Utilizar
tablas de verdad.
a) P Q
b) P P v P
c) P v Q Q v P
d) (P Q) (Q P)
e) (P P) P
f) P v Q P
g) P ^ Q P v Q
h) P v Q (P Q)
i) P v Q (P Q)
j) P v Q (P Q)

Profesor Adjunto: Mg. Ing. Hctor Pedro Liberatori

4
Aydante de 1: Mg. Ing. Sebastin Figueroa