UNIVERSIDAD NACIONAL DE COLOMBIA

DEPARTAMENTO DE MATEMATICAS

TALLER 1 FUNDAMENTOS DE MATEMATICAS

GRUPO 1 - I 2013
Profesor: Pedro Zambrano

1. Usando las letras p, q y r para abreviar las proposiciones Argentina se moviliza, Brasil
protesta ante la ONU y Chile convoca a una reunion de los pases latinoamericanos,
(a) Simbolice:
i. Argentina se moviliza y Brasil protesta ante la ONU.
ii. O Argentina se moviliza o Brasil protesta ante la ONU.
iii. O Argentina se moviliza o Brasil protesta ante la ONU, pero Argentina no se
moviliza ni Brasil protesta ante la ONU simultaneamente.
iv. Chile no convoca a una reunion de los pases latinoamericanos.
v. Si Argentina se moviliza o Brasil protesta ante la ONU, entonces Chile convoca
a una reuni
on de los pases latinoamericanos.
vi. Es suficiente que Brasil proteste ante la ONU para que Chile convoque a una
reuni
on de los pases latinoamericanos.
vii. Chile convoca a una reunion de los pases latinoamericanos solo si Argentina se
moviliza y Brasil protesta ante la ONU.
viii. Brasil protesta ante la ONU y Argentina se moviliza si y solo si Chile convoca a
una reuni
on de los pases latinoamericanos.
ix. No es el caso que si Argentina se moviliza, entonces Brasil protesta ante la ONU
y Chile convoca a una reunion de los pases latinoamericanos.
x. Que Argentina se movilice es una condicion suficiente para que Brasil proteste
ante la ONU.
xi. Que Argentina se movilice es una condicion necesaria para que Chile convoque a
una reuni
on de los pases latinoamericanos.
xii. O bien Chile convoca a una reunion de los pases latinoamericanos o es el caso
de que Argentina se moviliza y Brasil protesta ante la ONU.
(b) Escriba en correcto espa
nol:
i. (p q) r
ii. (p r) q
iv. r (p q) v. r (p q)
vii (p q) r viii. r (p q)

iii. (p q) r
vi. p (q r)
ix. ((p q) r))

2. Determine una proposici

on l
ogicamente equivalente a las siguientes, usando a lo sumo
solamente y , justificando su respuesta:
i. p p
ii. p q
iii. (p q) p iv. p (q r)
v. p q vi. (p (q r)) vii. (p q) viii. p (q r)
3. Demuestre las siguientes implicaciones logicas:
1

(a)
(b)
(c)
(d)
(e)
(f)
(g)
(h)
(i)

p |= p q (introducci
on de )
q |= p q (introducci
on de )
(p q) p |= q (modus tollendo ponens)
(p q) q |= p (modus tollendo ponens)
p q |= p q (bicondicional)
p q |= q p (bicondicional)
(p q) (q p) |= p q (condicional-bicondicional)
(p q) (q r) |= p r (silogismo hipotetico)
(p q) (r s) (p r) |= q s (dilema constructivo).

4. Demuestre las siguientes equivalencias logicas:

(a)
(b)
(c)
(d)
(e)
(f)

(p q) r p (q r) (conmutatividad)
p q p q
p q q p (contraposicion)
p q (p q) (q p)
(p q) p q (ley de De Morgan)
(p q) (p q) (q p)

5. Determine la inversa, la conversa y la contrapositiva de las siguientes proposiciones:

(a)
(b)
(c)
(d)
(e)

Si hoy es lunes, entonces hoy llueve.

Si la luna es de queso verde, entonces esta haciendo sol.
Combinar adecuadamente los condimentos es suficiente para tener una buena comida.
Si eres constante en algo, siempre alcanzaras el exito.
Perencejo no es bueno en su trabajo, entonces va a tener problemas en conseguir un
buen empleo.

6. Determine si los siguientes argumentos son validos o no, usando tablas de verdad. En caso
que sean v
alidos, de una deduccion de ese argumento, usando deduccion natural:
(a) (p q) r ` (p q) ((p q) r)
(b) p q, q (p r), p ` r
(c) p q, p ` q
7. De una deducci
on de los siguientes argumentos validos:
(a) (p q) (r s), (r s) (t u), p ` u.
(b) (n o) p, (p q) r, q n ` r.
noto el cambio, por lo tanto,
(c) O bien el gerente no not
o el cambio o lo aprobo. El
debe haberlo aprobado.
(d) Si una funci
on f de valor y variable real es diferenciable en un punto a R entonces es
continua en a. Si f es continua en a, entonces f (a) esta definida y limxa f (x) = f (a).
Pero f no est
a definida en a. Por lo tanto f no es diferenciable en a.