ENUNCIADO PROPOSICIN

Escriba 5 enunciados.
auxilio!
cmo te llamas?
No lo puedo comprar.
Est lloviendo
Duerme bien

Escriba 5 proposiciones simples.

Todos los nmeros primos
son pares.
Todos los tringulos son
issceles.
Lima es la capital del Per.
El segundo domingo de
mayo se celebra el da de la
madre.
El sol es una estrella.
Escriba 5 enunciados abiertos

x =9

Ejercicio

( a+b +5 )2=10

2 x 7>25

x es lacapital de Uruguay

z es un planeta del sistema solar

Escriba 5 proposiciones
compuestas.
Si estudias entonces irs de
paseo.
El 3 es divisor de 6 o de 10.
El lpiz es verde o rojo.
l est componiendo coches
o motocicletas.
Si estudias entonces iras al
paseo.

Tabla de valor de verdad

N 1

Simboliza las proposiciones siguientes usando el conectivo que

corresponda y de su valor de verdad.

V V =V

a) El sol es una estrella, la tierra es una planeta

b)

V F=F

2 3=6 y 3 2=5

c) Todo cuadrado es un rombo o todo cuadrado es un rectngulo.

V V =V
d) La plata es la capital de la provincia de Buenos Aires y la plata es un
metal
e)

2<3< 4

V V =V

2<3 3< 4

V V =V
p q

f)Hace mucho calor, pero trabajo intensamente.

g) Asegrame que no volvers a hacerlo y me quedar tranquila.

p q
h) Malena canta el tango como ninguna y en cada verso pone su corazn.

p q
i) Ese curso se dict durante setiembre u octubre del ao pasado.

p q
p q

j) La msica es muy suave o la puerta est cerrada.

k) En el examen ser aprobado o aplazado.

p q

N 2

Ejercicio

Construir las tablas de verdad de las siguientes proposiciones

compuestas expresadas en forma simblica y decidir si son
tautologas, contingencia o contradiccin ( es una negacin

a)

a a

b)

c)

a a
d)

VFF

f)
h)

a a

b)

j)

a a
d)

F
ah)
V
F

F FV

CONTRADICCI
N

a)

c)

TAUTOLOG
A d)

f)
o)

p) q)

r)
u)

( p q)

F
F
aj)
F
V

x)

ak)
F

V
F

aa) V

F
F CONTINGEN
F
CIA

al)

ab)

ac)
c)

( a b ) r
ad)

abr
af)

F
V

F
F

F
F
V

F
F

V
V

F
F

ap)

ae)

( a b ) r
an)

ar)
F
V
as)
F
F
at)

F V
y) z)

V F
v) w)

k)

F
V
( pV
q)

V V
s) t)

F
V

F
F

ai)

V V Fl)

e) n)
m)
p Fq

aq)

g)

i)

ag)
V
V

F
V
F

ao)

e)

F
V

V
am)
F
F

V
V

F
V

au)
V
V

V
F

F
aw)
ax)
ay)
az)
ba)
bb)

bc)
bd)
be)
bf)
bh)
bj)

av)
bg) CONTINGENC
IA

bl)

bi)
bk)

bm)

bn)

N3

Ejercicio

bo)

Decidir si las siguientes proposiciones son equivalentes o

tienen los mismos resultados, usando tablas de verdad.
bp)
a)

( p q ) y (q p )
bq)br)

p q
bu)bv)
V V
by)bz)
V F
cc) cd)
F V
cg)ch)
F F
ck)

bs) ( p q )

bt)

bw)
V
ca)

ce)

ci)

bx) V
V
F F
cb) V
F
F
cf) F
V
V V
cj) V
F
V

( q p )

NO SON EQUIVALENTES

cl)
b)

( p q ) y ( q p)
cm)cn)

co)

p q
cq)cr)
V V
cu)cv)
V F
cy)cz)
F V
dc)dd)
F F
dg)

cp)

(pq)
cs)

( q p )
V

ct)

F
V

cw)
F
da)

cx)

V
F
F
V
db)
V V
de)
df)
V
V
V
V
SON EQUIVALENTES

dh)
c)

p ( q r ) y ( p q ) ( p r )
di) dj) dk)

p q r
dn)do)dp)
V V V

dl)

dm)

p ( q r )
dq)

V
V

ds)dt)du)
V V F

V
dv)V V
V

dx)dy)dz)

ea)V V

( p q ) ( p r )
dr)

V
V

dw)
V
F
eb)

V F V

ec)ed)ee)
V F F

ef) V F
F

eg)

eh)ei) ej)
F V V
em)en)eo)
F V F

ek)F
V
ep)

el)

er) es)et)
F F V
ew)ex)ey)
F F F
fb)
d)

F
F

F
F

F
F

eq)

F
F

V
eu)

ev)

F
V
ez) F
F

F
V

F
F

F
F

fa)

F
F

SON EQUIVALENTES

p ( q r ) y ( p q ) ( p r )
g) h) i)

j)

p q r

p ( q r )

l) m) n)
V V V
e) q) r) s)
V V F
fe)x)ff)
v) w)
V F p
V q
aa)ab)ac)
fi) fj)
V F F
V V
fm)fn)
af) ag)ah)
V F
F V V
fq) fr)
ak)al) am)
F V
F V F
fu) fv)
F F
ap)aq)ar)
F F V
au)av)aw)
F F F
f)

fc)

k)

( p q ) ( p r )

o) V V
p)
V
V
V
V
t) V V
u)
V
F
V
V
y)fg)V V
z) fh) ( pV q )
( Fp q )
V
V
ad)
V
ae)
V
fk)
fl)
V
V
V
V
V
F
fo)
fp)
V
ai) F V
aj)
V
F
V
V
V
fs)
ft)
V
an)
F
ao)
V
V
F
F
F
fw)
fx)
F
F
V
as) F F
at)
F
F
F
V
ax)F F
ay)
F
F EQUIVALENTES
F
SON

fd)

p q y p q

fy)

NO SON EQUIVALENTES

fz)

( P q ) y ( p q ) ( q p )
az)ba)

p q
bd)be)
V V

bb)

( P q )
bf) F
V

bc)

ga)

( p q) ( q p )

bg)
F F
F
SON EQUIVALENTES
bh)bi) bj) V
bk) V V
V F
F
F F
bl) bm) bn) V
bo)
F V
F
F V
V
bp)bq) br) F
bs) F F
F F
V
F F

V F
V F

gb)

V V
F
F F
V V

gd) Decidir
siguientes

V F
V

N 4

gc) Ejercicio
si

las

proposiciones son tautologa, contradiccin y contingencia usando

tablas de verdad.
ge)
a)

[ ( p q ) r ] [ p ( q r ) ]
bt) bu)bv)

p q r
bx)by)bz)
V V V
cb)cc)cd)
V V F
cf) cg)ch)
V F V
cj) ck)cl)
V F F
cn)co)cp)
F V V
cr) cs)ct)
F V F
cv)cw)cx)
F F V
cz) da)db)
F F F

gf)

[ ( p q ) r ] [ p ( q r ) ]

bw)

gg)
ca)

V
V V

ce)

V
V V

ci)
V
cm)
V
cq)
F
cu)
F
cy)
F
dc)
F

gi)

gj)

gh)

V
V
V

V
V
F

V
V

V
V

gk)

gm)

V
V

b)

V
F

TAUTOLOG
A

gl)

V
F

[ p ( q r ) ] [ ( p q ) ( p r ) ]
gn)
dd)de)df)

p q r
dh)di) dj)
V V V
dl) dm)
dn)
V V F
dp)dq)dr)
V F V
dt) du)dv)
V F F
dx)dy)dz)
F V V
eb)ec)ed)
F V F
ef) eg)eh)
F F V
ej) ek)el)
F F F

[ p ( q r ) ] [ ( p q ) ( p r ) ]

dg)
dk) V
V
do)
V
ds) V
V
dw)
V
ea) F
V
ee) F
F
ei) F
F
em)
F

go)
gp)
gq)
gr)
gs)
gt)
gu)
gv)
gw)
gx)
gy)
gz)

V
V

V
V

V
F

V
V

V
V

V
V

V
F
F
F
V
F

F
F

[ ( p q ) ( q r ) ] ( p r )

F
F

c)

TAUTOLOG
A

en)eo)ep)

p q r
er) es)et)
V V V
ev)ew)ex)
V V F
ez)fa) fb)
V F V
fd) fe) ff)
V F F
fh) fi) fj)
F V V
fl) fm)fn)
F V F
fp) fq) fr)
F F V
ft) fu) fv)
F F F

eq)

ha)

[ ( p q ) ( q r ) ] ( p r )

hb)
eu)
V
ey)
V
fc)
V
fg)
V
fk)
V
fo)
V
fs)
V
fw)
V

hc)

V
F

hd)

he)

V
F
F
V
F

hf)
hg)

F
V

hh)

V
V

d)

V
V

TAUTOLOG
A

V
V
V

{[ ( q p ) ( r p ) ] ( q r ) } q
hi)
fx) fy) fz)

p q r
gb)gc)gd)
V V V
gf) gg)gh)
V V F
gj) gk)gl)
V F V
gn)go)gp)
V F F
gr) gs)gt)
F V V
gv)gw)gx)
F V F
gz)ha)hb)
F F V
hd)he)hf)
F F F

ga)
ge)
F
gi)
V
gm)
V
gq)
F
gu)
F
gy)
V
hc)
V
hg)
V

{[ ( q p ) ( r p ) ] ( q r ) } q
V

V
F

F
V

F
V

V
V

V
V

V
F

F
V

F
V

V
V

hj)

TAUTOLOG
A

V
F

V
V

V
V