Taller 1 I 2017 Fundamentos

UNIVERSIDAD NACIONAL DE COLOMBIA SEDE BOGOTÁ
DEPARTAMENTO DE MATEMÁTICAS I-2017

FUNDAMENTOS DE MATEMÁTICAS
Taller 1
“El único sitio en el que el éxito está antes que el trabajo
es en el diccionario.” (Vidal Sassoon)
1. Use las letras p, q y r para abreviar las proposiciones “Argentina se moviliza”,
“Brasil protesta ante la ONU’ y “Chile convoca a una reunión de los paı́ses
latinoamericanos”, respectivamente.
a) Simbolice las siguientes proposiciones:
i. Argentina se moviliza y Brasil protesta ante la ONU.
ii. O Argentina se moviliza o Brasil protesta ante la ONU, pero no ambas cosas.
iii. Chile no convoca a una reunión de los paı́ses latinoamericanos.
iv. Si Argentina se moviliza o Brasil protesta ante la ONU, entonces Chile
convoca a una reunión de los paı́ses latinoamericanos.
v. Es suficiente que Brasil proteste ante la ONU para que Chile convoque a una
reunión de los paı́ses latinoamericanos.
vi. Brasil protesta ante la ONU y Argentina se moviliza, si y sólo si Chile
convoca a una reunión de los paı́ses latinoamericanos.
vii. No es el caso que si Argentina se moviliza, entonces Brasil protesta ante la
ONU y Chile convoca a una reunión de los paı́ses latinoamericanos.
viii. Que Argentina se movilice es una condición suficiente para que Brasil
proteste ante la ONU.
ix. Que Argentina se movilice es una condición necesaria para que Chile con-
voque a una reunión de los paı́ses latinoamericanos.
b) Escriba en correcto español usando las interpretaciones dadas, las proposi-
ciones simbolizadas por :
i. (p ∧ q) → r ii. ¬(p ∧ r) → ¬q iii. (p → q) ∨ r
iv. r → (p ∧ q) v. r → (p ∨ q) vi. p ∨ (q ∧ r)
vii. (p ∨ q) → r viii. ¬r → ¬(p ∨ q) ix. ¬((p → q) → r))
2. A continuación encontrará una lista de proposiciones.

a) Simbolice cada una de ellas.
b) Determine la negación de las proposiciones dadas en el literal a) sin que
comience por el sı́mbolo de negación, usando equivalencias lógicas.
c) Escriba en correcto español las negaciones dadas en el literal b).
i. Los cursos de fundamentos y de cálculo son a las 9 de la mañana.
1
ii. Si Marı́a tiene 18 años, tiene la misma edad de Lucı́a.
iii. Ramiro está inscrito en fundamentos o en cálculo.
iv. Obtienes una beca si tienes el mejor promedio.
v. Vas a la fiesta o a cine pero no a ambas partes.
vi. Si te inscribes en el curso de fundamentos y lo apruebas, puedes tomar
álgebra el próximo semestre.
3. Si la proposición (p ∧ q) −→ r es falsa, dé, si es posible, el valor de verdad
de las siguientes proposiciones, justificando su respuesta:
a) (q ∨ r) ∧ p b) (q ∧ s) −→ p c) (q ∨ s) −→ p
d) (¬p ∧ q) −→ (r ∧ s) e) ¬ (r −→ s) ∧ (p ∧ q)
f) (p ∨ s) ∧ r g) ¬((r ∧ p) ∨ q) −→ (s ∨ p)
4. Ponga la mı́nima cantidad de paréntesis necesarios para que la expresión:
¬q ∧ r −→ s ∨ t
simbolice:
a) Un condicional b) Una disyunción
c) La negación de una disyunción d) Una conjunción
e) Un condicional con antecedente la negación de una conjunción.
5. Considere las siguientes proposiciones:

i. Si practica algún deporte, tiene buen estado fı́sico.
ii. Combinar adecuadamente los condimentos es suficiente para tener una buena
comida.
a) Simbolı́celas.
b) Encuentre su recı́proca, su contraria y su contrarrecı́proca.
c) Escriba en correcto español las proposiciones encontradas en b).
6. Determine cuáles de las siguientes expresiones son tautologı́as, justificando

su respuesta:
i. (p −→ q) ←→ ( ¬p ∧ q) ii. (p −→ q) ←→ (¬p ∨ q)
iii. (p −→ (q −→ r)) ←→ ((p ∧ q) −→ r) iv. ¬((p ∧ (p −→ q)) −→ q)
v. ((p −→ q) ∧ p) ←→ (p ∧ q)
NOTACIÓN: En este curso denotaremos la implicación lógica y la equivalencia

lógica por =⇒ y ⇐⇒ respectivamente. Algunos autores las denotan |= y ≡ .
7. Demuestre las siguientes equivalencias lógicas.
a) (p ∧ q) ∧ r ⇐⇒ p ∧ (q ∧ r) (asociatividad)
b) p → q ⇐⇒ ¬p ∨ q
c) p → q ⇐⇒ ¬q → ¬p (contraposición)
2
d) p ↔ q ⇐⇒ (p → q) ∧ (q → p)
e) ¬(p ∨ q) ⇐⇒ ¬p ∧ ¬q (ley de De Morgan)
f) ¬(p ∧ q) ⇐⇒ ¬p ∨ ¬q (ley de De Morgan)
g) ¬(p ↔ q) ⇐⇒ (p ∧ ¬q) ∨ (q ∧ ¬p)
8. En cada caso, encuentre una proposición equivalente a la dada que no utilice

el conectivo −→ .
a) ( p −→ q) −→ r b) p −→ (q −→ r)
9. En cada una de las siguientes proposiciones, encuentre una proposición

lógicamente equivalente que use únicamente los conectivos ¬ y ∧. (Escriba su
razonamiento)
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)
10. Considere las siguientes afirmaciones:

1) La contrarrecı́proca de la proposición “Si a es primo entonces a no es par”
es: “Si a es par entonces a no es primo”.
2) La negación de la proposición “Si pasas el semestre y obtienes un buen
promedio, entonces ganas un premio” es: “Pasas el semestre, obtienes un buen
promedio y no ganas un premio”,
De las afirmaciones anteriores es correcto decir que:
a) 1) y 2) son verdaderas
b) 1) y 2) son falsas
c) 1) es verdadera y 2) es falsa
d) 1) es falsa y 2) es verdadera
11. Demuestre las siguientes implicaciones lógicas.

a) p =⇒ p ∨ q (adición)
b) q =⇒ p ∨ q (adición)
c) (p ∨ q) ∧ ¬p =⇒ q (Modus Tollendo Ponens)
d) (p ∨ q) ∧ ¬q =⇒ p (Modus Tollendo Ponens)
e) p ↔ q =⇒ p → q (bicondicional-condicional)
f) p ↔ q =⇒ q → p (bicondicional-condicional)
g) (p → q) ∧ (q → p) =⇒ p ↔ q (condicional-bicondicional)
h) (p → q) ∧ (q → r) =⇒ p → r (silogismo hipotético)
i) (p → q) ∧ (r → s) ∧ (p ∨ r) =⇒ q ∨ s (dilema constructivo).

Taller 1 I 2017 Fundamentos

Cargado por

Copyright:

Formatos disponibles

Taller 1 I 2017 Fundamentos

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Taller 1 I 2017 Fundamentos

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL DE COLOMBIA SEDE BOGOTÁ

DEPARTAMENTO DE MATEMÁTICAS I-2017

2. A continuación encontrará una lista de proposiciones.

i. Los cursos de fundamentos y de cálculo son a las 9 de la mañana.

4. Ponga la mı́nima cantidad de paréntesis necesarios para que la expresión:

5. Considere las siguientes proposiciones:

6. Determine cuáles de las siguientes expresiones son tautologı́as, justificando

NOTACIÓN: En este curso denotaremos la implicación lógica y la equivalencia

8. En cada caso, encuentre una proposición equivalente a la dada que no utilice

9. En cada una de las siguientes proposiciones, encuentre una proposición

10. Considere las siguientes afirmaciones:

11. Demuestre las siguientes implicaciones lógicas.

También podría gustarte