PRCTICA DE LGICA

t.

Simbolizar las siguientes proposiciones:

a)
b)
c)

O mara debe rendir testimonio y declarar la verdad o no tiene que declarar.

Si no llueve, no nos quedamos en casa.
Juan ha venido durmiendo pronto

y el seor Prez

esta enfadado puesto que Luis no ha

venido demasiado tarde.

2.

Escriba la proposicin contrapositiva de

a)
b)
c)
J.

Esta lloviendo si esta nublado.

Si hoy es lunes, ayer no es sbado.

Una condicin suficiente para que llueva es que est nublado.

Expresar las siguientes proposiciones, en trminos solo de la conjuncin y negacin:

a) (-p q)-(pvr)
b) [(p* q) q]-p
4.

Cmo se llama las siguientes proposiciones?, (tautologa, contradiccin o contingencia)

a) (-p - q)v - (p Lq)

b) [(p-q)^(ra-p)nr]*p
c) (p I s) - {W I (-q Ar)l er [q v (p A -r)]]
d) -l(pL-q) n(q Jr)l - @l-r
5.

Usando tablas, sealar cuales de las siguientes expresiones son correctas.

a) - {- I- (pnq) n(-p^q)l} =-p

^-q
rl =v
b) [p * ( q
l@
^q)
^r)]
c) t- (- p vq) v- (- q vp)l =- (p- q)
6.

Usando diagramas de rbol, hallar los valores de verdad de:

a) - L(pvs)n(svr)l
b) (-pvs) v [(-snr)<-+p]
c) L(p nq) + sl -+ {lp v (q - s)l v- s}
Si se sabe que: V(p) = V, V(q) = F,
7.

V(r):

F, V(s)

: V.

EnUnoiar litera.lmente en forma conjuntiva y disyuntiva las siguientes proposiciones:

a)
b)

Llueve, por lo tanto hay nubes.

Ana esta triste porque repetir el curso.

Usando las leyes, simplificar las siguientes proposiciones:

a) (p*-q)vq
b) 'p{p-lq^(q-r)l}
c) l@.q)v (p q)l v (- p ^d) [pv (q Q- P)1-+- Q

q)