UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BASICAS E INGENIERIA

CURSO: LOGICA MATEMATICA

2º. TALLER
VALORACION: 10%

TUTOR: Pedro Carrillo Bermúdez

E-MAIL: pedro.carrillo@unad.edu.co

1. Escriba en forma simbólica procurando transcribir la idea original de la frase.

a) Para ser bachiller es necesario terminar los estudios en un colegio aprobado por
el Ministerio de Educación o aprobar los exámenes de validación.
b) Un número es par, sí y sólo sí, es múltiplo de 2 y no es cero.
c) Si ‘X’ es un número par, entonces ‘X2’ es un número par.
d) ABC es un triángulo sí y sólo si, es una figura plana, cerrada y tiene tres ángulos.

2. Escriba en forma simbólica (escoja las letras adecuadas para representar las
diferentes proposiciones elementales) y represéntelas por medio de conjuntos.
a. Nos vemos en un bus o en un tren.
b. 2 es un número par y primo
c. Voy a la fiesta si y solamente si ella también va.
d. Ninguno de los dos países ganó la guerra.
e. Si estoy cansado o con hambre no puedo estudiar.

3. Escriba la tabla de verdad de las siguientes fórmulas proposicionales e indicar si es

una tautología.

(((p v q) → q) ٨ ' ((p → r') → (q → r)))

(p → (q v r)) ↔ ((p → q) v (p → r))

4. Según el siguiente enunciado: “Si comprendo un enunciado entonces puedo

resolverlo”, plantear las proposiciones contraria, recíproca y contrarrecíproca de esta
expresión.
Directa
Contraria
Recíproca
Contrarrecíproca

5. Usando tablas de verdad demostrar las siguientes leyes de inferencia:

 a) Modus ponens
b) Modus tollens
c) Ley del silogismo disyuntivo.

6. Utilizar el modus ponens (MP), el modus tollens (MT) y el silogismo disyuntivo (SD),
para solucionar el siguiente problema:
"Y ahora llegamos a la pregunta del por qué. El robo no ha sido el objeto del
asesinato, puesto que nada desapareció. ¿Fue por motivos políticos, o fue una
mujer? Esta es la pregunta con que me enfrento. Desde el principio me he inclinado
hacia esta última suposición. Los asesinos políticos se complacen demasiado en
hacer sólo su trabajo y huir. Este asesinato, por el contrario, había sido realizado muy
deliberadamente, y quien lo perpetró dejó huellas por toda la habitación, mostrando
que estuvo aquí todo el tiempo". Planteado a Sherlock Holmes en "Un estudio en
escarlata".

7. Escribir una “C” junto a cada ejemplo en el que la conclusión es correcta según el
modus poniendo ponens. Poner una “I” junto a la conclusión incorrecta:
a. Premisas: S y (S - T): conclusión T
b. Premisas: (T V) y T: conclusión V
c. Premisas: (P Q) y Q: conclusión P
d. Premisas: S y (R S): conclusión R

8. Diseñar tres ejemplos adicionales para demostrar la ley del modus tollens.

9. Con las siguientes premisas, demostrar cómo se utiliza la generalización existencial

dentro de la demostración formal.
a. Toda persona que ha ganado 100 millones es rica.
b. Alguien ha ganado cien millones.
Lo que implica lógicamente que
c. Hay alguien que es rico.

10. Escriba la conclusión y especifique cuál de las reglas de inferencia aplica para
resolver el siguiente razonamiento: Si un ángulo de un triángulo es mayor que
90grados, entonces la suma de los otros dos ángulos es menor de 90 grados. La
suma de los otros dos ángulos no es menor de 90 grados.

11. Escriba la expresión, la conclusión y además especifique cuál de las reglas de

inferencia aplica para resolver el siguiente razonamiento: Si un haz fino de luz
penetra en un gas en una cámara de niebla, entonces los fotones expulsan electrones
de los átomos del gas. Si los fotones expulsan electrones de átomos de gas,
entonces la energía de la luz se convierte en energía cinética de los electrones.
 12. Consultar cuatro ejemplos de los tipos de demostración y de los métodos de
refutación.

Fecha de entrega: Última tutoría

No se concederá plazos adicionales debido al requerimiento de la Universidad de entregar notas
del 60% antes del 25 de Mayo.

Abril de 2013