Logica matematica

LÓGICA MATEMATICAS
Taller de lógica 2 y Mapa conceptual




Cesar Enrique Caicedo Robledo
Juan Carlos Salazar Tamayo
Simón Andrés Ochoa Arroyave (90004)






Tutor: Luis FelipeHernández Muñoz





UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD -
ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
Turbo, Marzo de 2011
CEAD Turbo
TALLER DE LOGICA

1. Dadas lassiguientes proposiciones:

P = El sol es grande
Q = Colombia no es linda
R = El presidente es inteligente.

Escribir en forma literal las siguientes proposiciones:

A.
El sol es grande,entonces, Colombia no es linda y el presidente es inteligente
B.
El sol no es grande y Colombia es linda, si y solo si, el presidente es inteligente
C.
El presidente no es inteligente, si y solo si,el sol no es grande o Colombia es linda.
2. Determina el valor de verdad de las siguientes proposiciones y construye el circuito lógico correspondiente.

A.
p
q
r
(p q)

[(¬ p r)(¬ r q)]
V
V
V
V
F
F
F
F
F
V
V
V
F
V
F
F
F
F
V
V
V
F
V
F
V
F
F
V
F
F
V
F
F
F
V
F
F
F
V
V
F
V
V
F
V
V
V
V
F
V
F
V
F
F
V
V
F
F
V
V
F
FV
F
V
V
V
F
F
F
F
F
F
F
V
V
F
F
V
V
Hay una contradicción.

B.
p
q
r
(p q)
r
V
V
V
V
V
V
V
F
V
F
V
F
V
F
F
V
F
F
F
F
F
V
V
V
V
F
V
F
V
F
FF
V
V
V
F
F
F
V
F

Hay contradicción.

C.
p
q
r
¬ r

(¬ p ¬ q)
V
V
V
F
V
F
F
F
V
V
F
V
F
F
F
F
V
F
V
F
F
F
V
V
V
F
F
V
V
F
V
V
F
VV
F
F
V
V
F
F
V
F
V
V
V
V
F
F
F
V
F
F
V
V
V
F
F
F
V
V
V
V
V

Hay una contradicción.

D.
p
q
[(p q) p] q
V
V
V
V
V
V
F
F
F
V
F
V
V
F
V
FF
V
F
V

Hay tautología.

E.
p
q
[(p q) p] q
V
V
V
V
V
V
F
F
F
F
F
V
V
F
V
F
F
V
F
F

Hay una contradicción.

F.
p
q
[(p q) p] q
V
V...