LOGICA PROPOSICIONAL

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 tu estas equivocado o es falsa la noticia que has ledo.
f. Roberto har el doctorado cuando y solamente cuando tenga la licenciatura.
g. O est lloviendo y nevando o est soplando el viento.

2) Simboliza.
a. Si p, entonces q
b. p o no q
c. Si p y q, entonces no r o s
d. Si p, entonces q y si q entonces.
e. Si p y q entonces r.
f. Si p y q entones r. Si r y s, entonces t.

3) Analiza el siguiente enunciado y seala cuales de las siguientes formalizaciones son
adecuadas o equivalentes.

Pienso, luego soy.
1.- p -> q
2.- p <->q
3.- p -> q
4- q -> p
5.- (p ^ q)
6.- (p v q)

4) Formaliza las siguientes proposiciones y confecciona su tabla de verdad.

O estas seguro y lo que dices es cierto o mientes como un bellaco

5) Construye las tablas de verdad de:

a) p ^ q
b) p ^ q
c) (p v q) v p
d) (p -> q) ^ p
e) (p <-> q) ^ p
f) [(p -> q) v (p <-> q)] ^ [(p -> q) v p]
6) Construye las tablas de verdad e indica si se trata de tautologa, contradiccin o
contingencia.

a. p v q
b. (p ^q) -> p
c. p <-> p
d. (p <-> q) ^(p v q)
e. (p <-> q) v (p v q)
f. (p v q) <-> (p -> q)
g. [ p <-> (q v r) ] <-> ([p -> (r -> q)] v [(q ^r) -> p])
h. [ p v (q <-> r) ] <-> ([p -> (r ^ q)] v [(q ^ r) -> p])