modelos de logica

Universidad de Los Andes
´ cleo Universitario Rafael Rangel
Nu
´ ticas
Departamento de F´ısica y Matema
Trujillo - Venezuela
1er Examen de L´
ogica Matem´
atica 95

1. Sean p, q y r lasproposiciones siguientes:
p = “Juan llega demasiado pronto”
q = “Mar´ıa llega demasiado tarde”
r = “El jefe se molesta”
Traduzca las siguientes oraciones a notaci´
on l´
ogica usando los conectivosl´
ogicos.
a) Si Juan llega demasiado pronto y Mar´ıa no llega demasiado tarde, entonces el jefe no se molesta.
b) Si Mar´ıa llega demasiado tarde, entonces Juan llega demasiado pronto.
c) Si eljefe se molesta, entonces Juan no llega demasiado pronto y Mar´ıa llega demasiado tarde.
(6 ptos.)
2. Proporcione el rec´ıproco, contrario y contrarrec´ıproco del siguiente condicional:
“7 + 2 = 9es condici´
on necesaria para que 2 + 5 = 3”
(6 ptos.)
3. Hacer la tabla de la verdad para el bicondicional p ↔ q y la disyunci´
on p ∨ q.

(4 ptos.)

4. Sean las proposiciones:
• p: Pedro eshermano de Mar´ıa.

• b: Beltr´
an es hijo de Mar´ıa.

• c: Carlos es sobrino de Juana.

• r: Rosa es hija de Pedro.

Traducir al lenguaje diario las siguientes proposiciones:
a) (p ∧ (∼b)) → c

c) (b → p) ∧ (r → t)

b) (r ∧ ∼ b) ∨ (c → p)

d) (∼ b ∨ c) ↔ (r ∧ ∼ p)
( 4ptos)

Universidad de Los Andes
´ cleo Universitario Rafael Rangel
Nu
´ ticas
Departamento de F´ısica yMatema
Trujillo - Venezuela
1er Examen de L´
ogica Matem´
atica 95

1. Sean p, q y r las proposiciones siguientes:
p = “Juan llega demasiado pronto”
q = “Mar´ıa llega demasiado tarde”
r = “Eljefe se molesta”
Traduzca las siguientes oraciones a notaci´
on l´
ogica usando los conectivos l´
ogicos.
a) Si Juan llega demasiado pronto o´ Mar´ıa llega demasiado tarde, entonces el jefe semolesta.
b) Si Mar´ıa llega demasiado tarde, entonces Juan no llega demasiado pronto.
c) Si el jefe no se molesta, entonces Juan no llega demasiado pronto y Mar´ıa no llega demasiado
tarde.
(6...