LGICA PROPOSICIONAL

- EJERCICIOS PROPUESTOS 1. Simboliza las siguientes proposiciones:

a. No vi la pelcula, pero le la novela:
b. Ni vi la pelcula ni le la novela:
c. No es cierto que viese la pelcula y leyese la novela:
d. No me gusta trasnochar ni madrugar:
e. O t ests equivocado o es falsa la noticia que has ledo:
f. Si no estuvieras loca entonces no habras venido aqu:
g. O est lloviendo y nevando o est soplando el viento:
h. Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni
otras violaciones de los derechos civiles:
i. Roberto har el doctorado cuando y solamente cuando obtenga la
licenciatura:
2. Simboliza:
a. Si p, entonces q:
b.
c.
d.
e.
f.
g.
h.

No es el caso que p y q:
p solamente si q y no-r:
p o no-q:
Si p y q, entonces no-r o s:
Si p, entonces q, y si q, entonces p:
Si p y q, entonces r. p. Luego si q, entonces r:
Si p y q, entonces r. Si r y s, entonces t. Luego si p y q y s, entonces t:

3. Construye las tablas de verdad de:

a) p q) p

b) (p q) p
c) [ (p q) (p q)] [(p q) p]

4. Construye las tablas de verdad e indica si se trata de tautologas,

contradicciones o contingencia.
a) p q

b)
c)
d)
e)
f)

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

5. Haz la tabla de verdad completa de la siguiente frmula y determina si

es tautolgica, indeterminacin o contradictoria:

a. [ p ( q r ) ] ( [ p ( r q ) ] [ ( q r ) p ] )
b. [ p ( q r ) ] ( [ p ( r q ) ] [ ( q r ) p ] )
6. Dadas las proposiciones

7. Si se sabe que: