trabajo
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
Regístrate para leer el documento completo.