Carrera universitaria:

Licenciatura en Matemticas

Tema:
Proposiciones
Materia:
Lgica y teora de conjuntos

Estudiante:
Joel Marte Maldonado

Matricula
16-1327

Facilitador:
Jos Len Reyes

Fecha de entrega:

Sbado 10 de agosto 2016

UNIVERSIDAD ABIERTA PARA ADULTOS

UAPA
ESCUELA DE EDUCACIN
Lgica y Teora de Conjuntos
Prctica unidad I

I.

Investiga en los recursos que se te facilitan y en la Web sobre el

concepto de lgica, su clasificacin y el desarrollo histrico de la lgica,
luego realiza las siguientes actividades:
a) Elabore una lnea de tiempo con los principales momentos
histricos y personajes que se destacan en la lgica.
La lgica matemtica es una parte de la lgica y la matemtica, que consiste
en el estudio matemtico de la lgica, y en la aplicacin de dicho estudio a
otras reas de la matemtica y de las ciencias. La lgica matemtica tiene
estrechas conexiones con las ciencias de la computacin y la lgica filosfica.
La lgica matemtica estudia los sistemas formales en relacin con el modo en
el que codifican o definen nociones intuitivas de objetos matemticos
como conjuntos, nmeros, demostraciones, y algoritmos, utilizando un lenguaje
formal.
La lgica matemtica suele dividirse en cuatro sub campos: teora de
modelos, teora de la demostracin, teora de conjuntos y teora de la
recursin. La investigacin en lgica matemtica ha jugado un papel
fundamental en el estudio de los fundamentos de las matemticas.
Actualmente se usan indiferentemente como sinnimos las expresiones: lgica
simblica (o logstica), lgica matemtica, lgica teortica y lgica formal.

La lgica matemtica no es la lgica de las matemticas sino la matemtica de

la lgica. Incluye aquellas partes de la lgica que pueden ser modeladas y
estudiadas matemticamente.

b)
-

Escribe 5 proposiciones cuyos valores de verdad sean verdaderos.

Las hojas son de color verde.
El sol es una estrella.
La ballena es un mamfero.
El oro es un metal.
El 2 es un nmero par primo.

c)
-

Escribe 4 proposiciones cuyos valores de verdad sean falsos.

La tierra es una gran roca sin vida.
Los monos vuelan.
El agua es amarilla.
La educacin es para personas ignorantes.

d)

Utilice un conectivo lgico en cada espacio para enlazar las

siguientes proposiciones, teniendo en cuenta que stos no se
deben repetir:

i.
ii.
iii.
iv.
v.
vi.

SI 3x4=17 ENTONCES 12 =1.

3+2= 5 Y 7 =1.
La casa de gobierno de USA NO es amarilla.
25x5 = 10 O 3x7 = 21.
El nmero 3 es impar SI Y SOLO SI el 2 es un nmero primo.
O escoge un lpiz O un lapicero.

II) Dadas las proposiciones P: El 2 es un nmero primo par, Q: 9x8= 71, R:

9-9=0, S: 7x6+2=44 y T: 5-4+3-1+3=6. Determine el valor de verdad en cada
caso:
a) P Q F
b) P v R V
c) ~P S F

d)
e) (~ Q V T) (~P V S) V
f) P v T
F

g)
h)
i)
j)
k)
l)
m) III) Complete correctamente las siguientes tablas:
a)

b)

o)
p)
P

q)
Q

r)
Q

p)

q)

r) Q

s)
V

t)
V

u)
V

s)

t)

v)
V

w)
F

x)
V

v)

w)

y)
F

z)
F

aa)
F

y)

z)

ad)
V

ab) ac)

ad)

ab) ac)
F
V

u) V
x) F
aa)V

c)

ae)
af) d)
ae) af) ag) ah)

ai)

ao) ap) aq) ar)

as)

aj)

ak) (~ p

al) p

^~
q)

(p
v
q)
at) V

au)

av) V

F
bf) V

am)

an)

(p v
q
)

aw)

ax)

bg)

bh)

ay) az) ba) bb)

bc)

bd)

be)

bi) bj) bk) bl)

bm)

bn)

bo)

bp)

bq)

br)

bs) bt) bu) bv)

bw)

bx)V

by)F

bz) F

ca) V

cb)

V
F
F

F
V
F

F
F
F

cc) cd) ce) cf)

cg)

cm) cn) co) cp)

cq)

F
ch) V
cr) V
db)

dg) dh) di)

dj)

dk)

dl) F

ck) V

cl)

cs) F

ct) V

cu) V

cv)

da)

cj) V

cw) cx) cy) cz)

ci) F

dc) V

dd)

de)

df)

dm)

dn)

do)

dp)

ag)
ah)
ai)
aj)
ak)
al)
am)
an)
ao)

IV) Escribe las proposiciones pedidas en cada caso, tomando

situaciones de la vida cotidiana y laboral:

a) 5 que sean bicondicionales.

-

Trabajare horas extras si y solo si me las pagan justamente.

El lunes es un mes de ao si y solo si enero es un da de la semana.
El perro es un pez si y solo si las vacas vuelan.
Te ayudare con los que aceres si y solo si me llevas al parque.
Mi madre me dar un regalo de cumpleaos si y solo si apruebo todas
las materias del colegio.

ap)
b) 6 que sean condicionales.
-

Si el agua es azul entonces mi camisa azul es de agua.

Si los peces nadan entonces la tortuga es un pez.
Si estudio mucho para el examen entonces aprobare la asignatura.
Si la hermana de mi madre es mi ta entonces el hermano de mi padre

es mi to.
Si hago bien mi labor entonces tendr una recompensa.
Si hago algo malo entonces me darn un regalo por eso.

aq)
c) 7 que sean conjunciones.
-

Mara canta y Juan canta.

Pedro trabaja y Juana cobra el dinero.
La tierra es redonda y el mar es plano.
El cndor es un ave y vive en la montaa.
El mejor amigo del hombre tiene cuatro patas y el perro tiene cuatro

patas.
La luna es de queso y el sol de mantequilla.
Las naranjas son frutas y los pltanos vveres.

ar)
as)
at)
au)
d) 5 que sean disyunciones exclusivas.
-

O 1+1=4 o 5+2=7.
O vas a la escuela o vas al cine.
O lavas el carro o limpias la casa.
O estudias o trabajas.
O eres divertido o eres aburrido.

av)
e) 4 que sean disyunciones inclusivas.
-

Me pagas la renta o te vas de mi casa.

Me ayudas con la comida o te quedas sentado
Vas al a la tienda o no iras a la escuela.

Eres mi amigo o eres mi enemigo.

aw)
f) 5 que indiquen negaciones.
-

Hoy no es sbado.
El 2016 no es un mes de ao.
El libro no es redondo.
Mi casa no es color rosada.
Los lunes no son das de descanso.

ax)
ay)
az) V) Demuestre por medio de tablas de verdad si la siguientes
proposiciones son Tautologa (T) Contingencia o Indeterminacin
(k) o Contradiccin (C)
ba)
a) [(p q) ~p] ~q
bb)p

bc) q

bd)~p

be)~q

bf) (p

bg)[(p

q)
bi) V
bp)V
bw)

bj) V

F
cd) F
ce) F
ck) TAUTOLOGIA

q)^~

q)^~p
~q

bl) F

bm)

p]
bn)F

br) F
by) V

bs) V
bz) F

V
bt) F
ca) V

bu)F
cb) F

bv) V
cc) V

cf) V

cg) V

ch) V

ci) V

cj) V

bk) F

bq)F
bx) V

bh)[(p

bo)V

b) [(p v q)^ r] [(p q) v r ]

cl) p

cm)

cn) r

co) (

cp) (

cq) [(p

cr) [(p

q)

q)^

vr]

r]

ct) [(p v q)^ r] [(p

q) v r ]
cu)

cs)

cv) V

cw)
V

cx) V

)
cy) V

cz) V

da)V

db)V

dc) V

dd)V
dl) V

de)V
dm)

df) F
dn)V

dg)V
do)V

dh)V
dp)F

di) F
dq)V

dj) F
dr) V

dk) V
ds) V

dt) V

F
du)F

dv) F

dw)

dx) F

dy) F

dz) F

ea)V

eb)F
ej) F

ec) V
ek) V

ed)V
el) F

V
ee)V
em)

ef) F
en)F

eg)V
eo)F

eh)V
ep)F

ei) V
eq)V

et) V

V
eu)F

ev) V

ew)

ex) V

ey) F

fd) V

F
fe) F

ff) F

fg) V

er) F

es) F

ez) F

fa) F
fb) F
fc) F
fh) INDETERMINACION

fi) c) [(a v b) (a v c)] [a v (b c)]

fj)

fk)

fl)

fm)(

fn) (

fo) (

fp) [a v

(b

fq) [(a v b)

fr) [(a v b) (a v c)] [a v

(b c)]

(a v c)]

c)]

fs)

)
fw) V

)
fx) V

)
fy) V

fz) V

ga)V

gb)V

V
V
V
gc) gd) ge)

gf) V

gg)V

gh)F

gi) V

gj) V

gk) V

V
gl)

go)V

gp)V

gq)F

gr) V

gs) V

gt) V

V
F
V
gu) gv) gw) gx) V

gy) V

gz) F

ha)V

hb)V

hc) V

V
F
F
hd) he) hf)

hg)V

hh)V

hi) V

hj) V

hk) V

hl) V

F
V
V
hm) hn) ho)

hp)V

hq)F

hr) F

hs) F

ht) F

hu)V

F
V
F
hv) hw) hx)

hy) F

hz) V

ia) V

ib) V

ic) F

id) F

F
ie)

F
if)

V
ig)

ih) F

ii) F

ij) V

ik) V

il) F

im) F

ft)

fu)

fv)

V
F
gm) gn)

in) CONTINGENCIA

io)
ip)
iq)
ir)
is)
it) d) [(a b) (b c)] (a c)
iu)

iv)

iw)

ix) (

iy) (

iz) (a

c)

ja) [(a b)
(b c)]

jb) [(a b) (b c)]

(a c)

c
b

jc)

jd)

je)

)
jf) V

jg) V

jh) V

ji) V

jj) V

V
jk)

V
jl)

V
jm)

jn) V

jo) F

jp) F

jq) F

jr) V

V
js)

V
jt)

F
ju)

jv) F

jw) V

jx) V

jy) F

jz) F

V
F
V
ka) kb) kc)

kd) F

ke) V

kf) F

kg) F

kh) V

V
ki)

kp) V

F
kj)

F
kk)

kl) V

km)

kn) V

ko) V

F
V
kq) kr)

V
ks)

kt) V

V
ku) F

kv) V

kw)

F
ky)

V
kz)

F
la)

lb) V

lc) V

ld) V

le) V

lf) V

F
lg)

F
lh)

V
li)

lj) V

lk) V

ll) V

lm) V

ln) V

F
lo) CONTINGENCIA

kx) F