trabajo

UNIVERSIDAD DE CARTAGENA


TALLER DE MATEMATICA BASICA



SESION 1: LOGICA MATEMATICA



PRESENTADO POR: DONALD ALFONSO ZAMBRANO VARGAS


INGENIERIA DE SISTEMAS I SEMESTRETEMA: PREPOSICIONES LOGICAS

PROFESORA: GRICEL FIGEROA GUTIERREZ




LORICA MARZO 3 DEL 2014



LORICA-CORDOBA



TALLER PROPOSICIONES LOGICAS
SIMBOLIZA LOS SIGUENTESENUNCIADOS
a. No vi la película, pero leí la novela:
(pq)
b. Ni vi la película ni leí la novela:
(pq)
c. No es cierto que viese la película y leyese la novela:(p∧q)
d. Vi lapelícula aunque no leí la novela:
(pq)
e. No me gusta trasnochar ni madrugar:
(pq)
f. O tú estás equivocado o es falsa la noticia que has leído:
(p∨q)
g. Si no estuvieras loca, nohabrías venido aquí:
(pq)
h. Llueve y o bien nieva o sopla el viento:
(p⇔q) ∨ r
i. O está lloviendo y nevando o está soplando el viento:
(p∧q) ∨ r
j. Si hay verdaderademocracia, entonces no hay detenciones arbitrarias ni otras violaciones de los derechos civiles:
p→(r→s)










CONSTRUYE LA TABLA DE VERDAD PARA LAS SIGUIENTES PROPOSICIONES YDETERMINA SI ES TAUTOLOGÍA, FALACIA O CONTRADICCION.
I. (~p ∧ ~q) ∨ ~q

P
q
~p
~q
(~p ∧~q)
(~p ∧ ~q) ∨ ~q
V
V
F
F
F
F
V
F
F
V
F
V
F
V
V
F
F
F
F
F
V
V
V
VES UNA CONTRADICCION


II. (~r ∨ q) ⇔ [(~q ∨ r) ∧ s]

r
q
s
~r
~q
(~r ∨ q)
⇔
(~q ∨ r)
[(~q ∨ r) ∧ s]
V
V
V
F
F
V
V
V
V
V
V
F
F
F
V
F
V
F
V
F
V
F
V
F
FV
V
V
F
F
F
V
F
V
V
F
F
V
V
V
F
V
F
F
F
F
V
F
V
F
V
F
F
F
F
F
V
V
V
V
V
V
V
F
F
F
V
V
V
F
V
F
ES UNA CONTRADICCIONIII. (p ⇒ q) ⇒ [(p ∨ q) ∧ ~q]

p
q
~q
(p ⇒ q)
⇒
(p ∨ q)
[(p ∨ q) ∧ ~q]
V
V
F
V
F
V
F
V
F
V
F
V
V
V
F
V
F
V
F
V
F
F
F
V
V
F
F
F
ES UNA CONTRADICCION