Practica para el primer parcial

I 2009
1. Dado el siguiente argumento:
Si no llueve o si no hay problema de trfico, entonces se cumplir el da deportivo y tendr lugar los
programas culturales. Si se cumple el da deportivo, entonces el trofeo ser otorgado. En conclusin,
el trofeo no fue otorgado.
Debe indicar
1.1. Las literales asignadas a cada premisa primitiva.

1.2. Los argumentos y la conclusin

1.3. El argumento a validar
2. Dado el siguiente argumento:
Si no existe dilogo entre los gobernantes; no hay paz en la tierra y no habr desarrollo econmico.
Existe dilogo entre los gobernantes y eliminarn la produccin de armas. Hay desarrollo econmico.
No eliminarn la produccin de armas. Por lo tanto, hay paz en la tierra y desarrollo econmico.
Debe indicar
2.1. Las literales asignadas a cada premisa primitiva.
2.2. Los argumentos y la conclusin
2.3. El argumento a validar
3. Utilizando tabla de verdad, demuestre si [( p q ) (p q)] es una implicacin lgica

de ( p q )

4. Utilizando tabla de verdad, demuestre si (p q) es una equivalencia lgica de p ( p q )

5. Haciendo uso de las frmulas de lgica proposicional (leyes), simplifique

( (p q ) ( q p ) ) ( p q )
6. Haciendo uso de las frmulas de lgica proposicional (leyes), simplifique

(p ( r s) s )
7. Encuentre la FNDC y la FNCC, utilizando tabla de verdad, de la siguiente expresin:

(p r) ( q p )
8. Encuentre la FND, utilizando las frmulas de lgica proposicional (leyes)

(p q ) ( q p )

9. Encuentre la FNDC y la FNCC, utilizando tabla de verdad, de la siguiente expresin:

(p q) [(p q) r ]
10. Encuentre la FNC, utilizando las frmulas de lgica proposicional (leyes)

(p q) (p q r )
11. Sea un univero de discurso que consta de tres turistas: Carlos, Flor y Mara. Carlos y Flor son
chilenos, mientras que Mara es costarricense. Los tres estn de vacaciones, de los cuales Maria
renunci a su trabajo. Sean Ch, Co, Va y Re los predicados chileno, costarricense, Vacaciones y
renunci, respectivamente. Encuentre:
a. La asignacin de los predicados (Ch, Co, Va y Re)
b. Calcule el valor de verdad de las siguientes proposiciones:
i.
x Ch(x) Co(x)
ii.
x Va(x) Re(x)
iii.
x Va(x) x Co(x)
iv.
x Ch(x) Re(x)
v.
x Va(x) Co(x)
vi.
x Va(x) x Re(x)
c. Exprese en forma simblica la siguiente frase:
Todos los turistas que estn de vacaciones son costarricenses
No existe algn los turistas que est de vacaciones y es costarricense
12. Sea un universo de discurso que consta de cuatro turistas: Marcos, Sara, Tom y Cindy. Marcos y Sara
son Europeos, mientras que Tom y Cindy Americanos. Los cuatro alquilan autos. De los cuales solo
Marcos y Sara tienen licencia. Sean E, AM, AL, LI los predicados Europeos, Americanos, Alquilan
Autos y Tienen Licencias. Encuentre:
a. La asignacin de los predicados (E, AM, AL, LI)
b. Calcule el valor de verdad de las siguientes proposiciones:
x E(x) x LI(x)
x [AM(x) AL(x) LI(x)]
x [ LI(x) E(x)] x [AM(x) AL(x)]
c. Exprese en forma simblica la siguiente frase: Algunos turistas que alquilan autos tienen la
condicin suficiente para que tengan licencia y sean americanos
13. Dado el siguiente argumento:
Si Hace sol o es feriado, entonces se realizar la feria y tendr lugar los programas culturales. Si se
realiza la feria, entonces los premios sern otorgados. En conclusin, los premios no fueron
otorgados.
Debe indicar
13.1.

Las literales asignadas a cada premisa primitiva.

13.2.
13.3.

Los argumentos y la conclusin

El argumento a validar

14. Utilizando tabla de verdad, demuestre si [(p q) ( p q ) ] es una implicacin lgica

de ( p q )
15. Haciendo uso de las frmulas de lgica proposicional (leyes), simplifique

[(p q) (pr) (qr)] r

16. Encuentre la FNDC y la FNCC, utilizando tabla de verdad, de la siguiente expresin:

(p r) ( q p )

LEYES
1 pp
2 (p q ) p q
(pq) p q
3 Pq qp
Pqqp
4 P (q r)(p q ) r
P (q r) (pq) r
5 p(q r) (p q)(p r)
p(q r) (p q)(p r)
6 ppp
ppp
7 pFp
pTp

LEYES

doble
negacin
De Morgan
Commutativa
asociativa

8 p p T
p p F
9 pTT
pFF
10 p(pq)p
p(pq)p

distributiva
idempotente
neutro

11
12
13
14

Leyes de implicacin y equivalencia

p q p q
p q (p q) ( p q)
p q (p q) (q p)
p q (p q) (p q)

inversas
dominacin
absorcin