TALLER Nro. 2 1. Como se puede definir la lgica? 2. Realice un resumen sinttico de la historia de la lgica. 3.

Mediante un cuadro sinptico, clasifique la lgica con sus caractersticas fundamentales. 4. Cual es el propsito de la lgica? Explique. 5. Escriba y explique los componentes del proceso semitico. 6. Enuncie las ramas de la semitica 7. Que es una proposicin? Como se clasifica? Explique cada una y de ejemplos. 8. Diga si las siguientes expresiones son proposiciones o no; en caso afirmativo escriba su valor de verdad. a) La divisin entre cero es imposible b) Levntate c) 3 + 5 9(24-34) = 3 d) El 21 de Julio de 2004 fue sbado e) Una ecuacin cubica tiene a lo mas tres races f) 2x 4 = 5 g) Una ecuacin de Segundo grado tiene por grafica una lnea recta h) Amado Nervo fue un poeta mexicano i) El color azul vale menos que una sonrisa j) tu nombre es juan? 9. Si p=Verdadero, r=Falso y q=Verdadero, asigne un valor de verdad a cada una de las siguientes formulas proposicionales a) [(p v ~q) v (~r p)] =V

b) ~[(~p v q) v (r q)] c) ~[(p ^ ~q) (r v ~q)] d) ~[(p v q) ^ ~(r q)]

=F =F =V

e) [(~p r) v (~r ~p)] = V

10. Verificar, por tablas de verdad, que la negacin de p ^ q, p v q, p q y pq, es lgicamente equivalente a ~p v ~q, ~p ^ ~q, p ^ ~q y p ~q o ~pq, respectivamente. Es decir, verificar que:

a) ~(p ^ q) ~(p v ~q) p q r ~p ~q ~r q v r p ^ q

V V V V F F F F V V F F V V F F V F V F V F V F F F F F V V V V F F V V F F V V F V F V F V F V V V V F V V V F V V F F F F F F

~(p ^ q)
F F V V V V V V

p v ~q
V V V V F F V V

~(p v ~q)
F F F F V V F F

~(p ^ q) ~(p v ~q)

NO SON EQUIVALENTES

b) P ~q q ~p p q r ~p ~q ~r p ~q
V V V V F F F F V V F F V V F F V F V F V F V F F F F F V V V V F F V V F F V V F V F V F V F V F F V V V V V V

q ~p
F F V V V V V V

p ~q q ~p

SI SON EQUIVALENTES

c) ~(p v q) ~p ^ ~q p q r ~p ~q ~r
V V V V F F F F V V F F V V F F V F V F V F V F F F F F V V V V F F V V F F V V F V F V F V F V

pvq
V V V V V V F F

~(p v q) F F F F F F V V

~p ^ ~q F F F V V V V V

~(p v q) ~p ^ ~q

NO SON EQUIVALENTES

d) ~(p q) p ^ ~q p q r ~p ~q ~r p q
V V V V F F F F V V F F V V F F V F V F V F V F F F F F V V V V F F V V F F V V F V F V F V F V V V F F V V V V

~(p q)
F F V V F F F F

p ^ ~q
F F V V F F F F

~(p q) p ^ ~q

SI ES EQUIVALENT E

e) ~(p q) p ~q ~p q
p q r V V V V V V F F V F V F ~ p F F F F ~ ~ q r F F F V V F V V p q V V F F ~(p q) F F V V p ~q F F V V ~p q F F V V ~(p q) p ~q ~p q

F F F F

V V F F

V F V F

V V V V

F F V V

F V F V

F F V V

V V F F

V V F F

V V F F

11.Complete la siguiente tabla de verdad.

p q r V V V V F F F F V V F F V V F F V F V F V F V F ~ p F F F F V V V V ~ ~ p v ~q q r F F V F V V V F V V V V F F F F V F V F V V V V r ~p F V V V F V V V (P Q)( ~r ~p) V V V V V V F V F F F V V V V V V V V F F V V V ~[(p ^ ~q) ~q)] F F F V V F V F F F F V F V F V (r F V V V F V V V

12.Demostrar que las siguientes proposiciones son equivalentes: a) P (q v r) (p q) v (p r)

p q r ~p ~q ~r q v r p
V V V V F F F F V V F F V V F F V F V F V F V F F F F F V V V V F F V V F F V V F V F V F V F V V V V V V V F F

(q v r) V V V V F F F F

(p

q)

(p

r)

P (q r) (p q) v (p q) v (p
(p r) V V V F F F F F
v

r)

V V F F F F F F

V F V F F F F F

b) (p q) r (p r) v (p r)

p q r ~p ~q ~r (pq (pq) (pr) (qr) (pr) v

(p q) r

)
V V V V F F F F V V F F V V F F V F V F V F V F F F F F V V V V F F V V F F V V F V F V F V F V V V F F F F F F

r
V F V V V V V V V F V F V V V V V F V V V F V V

(qr)
V V V V V F V V

(p r) v (p
r)

c) [(p q) r ] [(p ~r) ~q]

(pq) p q r ~p ~q ~r (pq) r
V V V V F F F F V V F F V V F F V F V F V F V F F F F F V V V V F F V V F F V V F V F V F V F V V V F F V V V V V F V V V F V F

(p ~r)
F V F V F F F F

(p ~r) [(p q) r ] ~q [(p ~r) ~q]

V F V V V V V V

13. Elabore para las siguientes formulas proposicionales su respectiva tabla de verdad y diga si es tautologa, contradiccin o contingencia.

a) ~{[(p ~q) v (p q)] [(~p q) ~(q p)]}

p q r ~p ~q ~r (p
V V V V F F F F V V F F V V F F V F V F V F V F F F F F V V V V F F V V F F V V F V F V F V F V

[(p ~q) [(~p q) ~{[ (p ~q) v (p q)] ~q) (pq) (~p q) ~(qp) ~(qp)]} [(~p q) ~(q p)]} v (pq)]
V V F F V V V V V V V V V V V V V V V V V V F F F F F F V V F F F F F F V V F F
F F F F V V F F

F F V V F F F F

b) ~{[(p ~q) v (p v r)] v [(~p ~r) ~(q v r)]}

p q r ~p ~q ~r (p
V V V V F F F V V F F V V F V F V F V F V F F F F V V V F F V V F F V F V F V F V F

~q) (p v r)
V V V V V V F

[(p ~q) v (pvr)]

V V V V V V F

(~p

[(~p ~r) ~{[(p ~q) v (p v r)] v ~r) ~(qvr) ~(qvr)] [(~p ~r) ~(q v r)]}
F F F V F F F F F F F F F F
V V V V V V F

F F V V F F F

F F F F F V F

F F F