Documente Academic
Documente Profesional
Documente Cultură
(C B) A
(B U C)c - A
__________________________
____________________________
__________________________
__________________________
___________________________
__________________________
_________________________
______________________
_____________________________
(A - B)(AUC)
(BC) - A
A (B C)
(AB) U A
13. Diga si las siguientes expresiones son proposiciones o no; en caso afirmativo escriba su valor de verdad.
a)
b)
c)
d)
e)
f)
g)
h)
i)
j)
14. Identifique las proposiciones simples y exprese en lenguaje simblico la siguiente expresin separndola en sus
premisas, finalmente identifique el valor de verdad de cada proposicin simple:
Si le pagan a los empleados y la mercanca llega podremos entregar a tiempo. Si entregamos a tiempo se le
pagar a los empleados. O se le paga a los empleados o la mercanca no llega a tiempo. La mercanca lleg a
tiempo.
Si Alberto entiende lgica, entonces disfruta de esta clase de problemas. Alberto no entiende lgica, por lo tanto
no disfruta de esta clase de problemas.
Si hay tala de rboles entonces se produce la erosin. Si hay erosin se acaban los bosques. Si
no
hay
bosques escasea el agua. Por lo tanto, si hay tala de rboles escasea el agua.
Si hay tempestad, se va el fluido elctrico. No hay electricidad entonces hay tempestad.
Si voy al encuentro de baloncesto entonces no estudio lgica. Efectivamente, me voy al encuentro de
baloncesto por lo tanto no estudio lgica.
15. Exprese en lenguaje simblico y Niegue los siguientes enunciados:
Si el maestro est ausente, algunos estudiantes no terminan su tarea
Todos los estudiantes terminaron su tarea y el maestro est presente
Algunos estudiantes no terminaron su tarea o el maestro est ausente.
16. Si p= verdadero r= Falso y q= Verdadero, asigne un valor de verdad a cada una de las siguientes frmulas
proposicionales
a. p~ q~ r q
b. ~ ~ p qr q
c. ~ p~ qr~ q
d. ~ p q~ r q
e. ~ pr~ r ~ p
17. Verificar, por tablas de verdad, que la negacin de p q, p q, p q y p q, es lgicamente equivalente a q
q, p q, p q y p q o p q, respectivamente. Es decir, verificar que:
a.
b.
c.
d.
e.
f.
g.
h.
(p q) p q
p q q p
( p q) p q
( p q) p q
( p q) p q p q
p (q r) (p q) (p r)
(p q) r (p r) (q r)
[(p q) r] [(p r) q]
p q r
~p
~q
~r
(p v ~q)
r ~q
pq~r~q
~p~qr~q
p (q r) (p q) (p r)
p (q v r) (p q)v (p r)
[p (q p)] [(p q) (q p)]
[p (q r)] [(p r) q]
pqqp
pqqp
(p) p
(p (q r)) ((p q) r)
p (q p)
[p (q r)] [(p q) (p r)]
21. Elabore para las siguientes frmulas proposicionales su respectiva tabla de verdad y diga si es tautologa,
contradiccin o contingencia.
a. { [ (p q) (p q) ] [( p q) (q p) ] }
b. { [ (p q) (p r) ] [( p r) (q r) ] }