Tarea3

Jaiber Fabián avila pedroza

Abril 2020

Universidad Nacional Abierta y a Distancia Bogotá D.C.

Lógica Matemática
Código: 200611_211
 INTRODUCCION
El propósito al desarrollar los ejercicios propuestos en esta actividad solicitada, es con la
intención de realizar los procesos necesarios que consisten en los 4 problemas
seleccionados para la solución de este taller se recibe el apoyo del tutor correspondiente que
brinda su gran ayuda atreves de sus encuentros virtuales y ayuda personalizada resuelve las
preguntas e inquietudes que se presentan atreves de la realización del taller, Las
competencias a desarrollar en la guía son los conceptos propios del cálculo proporcional y
la teoría de conjuntos en la cual me dispongo en la actitud de realizar el taller debidamente
con la finalidad de realizar el mejor trabajo posible.
Ejercicio 1:
Proposiciones categóricas Proposiciones categóricas:
• p: Todos los médicos son especialistas
• q: Algunos médicos no son especialistas
• Definición de la estructura de la proposición categórica

• Determinar el tipo de proposición (A, E, I, O).

Clasificación de p: Proposición tipo “A”
Universal afirmativa. Cuantificador universal y cualidad afirmativa.
• Definición de la estructura de la proposición categórica

• Determinar el tipo de proposición (A, E, I, O).

Clasificación de q: Proposición tipo “O”. Particular negativo.
Cuantificador particular y cualidad negativa.
 De acuerdo con el esquema propuesto p y q son contradictorias.

Ejercicio 2
Argumento: Según estudios médicos las personas con altas dosis de sodio en su cuerpo
sufren de hipertensión. A Angela le gusta condimentar sus alimentos con mucha sal, los
médicos han diagnosticado que Angela sufrirá de hipertensión.

Desarrollo
El razonamiento utilizado es el deductivo ya que presenta una probabilidad de que Angela
sufra de hipertensión por el alto consumo de sal puesto que esta es alta es sodio

Ejercicio 3
Expresión simbólica: [(𝑝 → 𝑞) ∧ (p ∨ 𝑠) ∧ (¬s ∧ ¬𝑞)] → 𝑞
Premisas:
P1: (𝑝 → 𝑞)
P2: (p ∨ 𝑠)
P3: (¬s ∧ ¬𝑞)
Conclusión: q
p: estudia
s: saco mayor de tres
q: paso el parcial

sí un estudiante de la unad si estudia entonces pasa el parcial, estudia o saca mayor de tres,
no saco mayor de tres y pierde le parcial entonces pasa el parcial.

• Resultado de la tabla de verdad: TAUTOLOGÍA

Comprobación por leyes de inferencia
Expresión simbólica: [(𝑝 → 𝑞) ∧ (p ∨ 𝑠) ∧ (¬s ∧ ¬𝑞)] → 𝑞
Premisas:
P1: (𝑝 → 𝑞)
P2: (p ∨ 𝑠)
P3: (¬s ∧ ¬𝑞)
Conclusión: q
P4 ~s simplificación P3
P5 ~q simplificación P3
P6 p (TP)(P2yP4)
P7 q(PP)(P1yP6)
 Conclusiones
Al realizar las actividades propuesta logramos un descubrimiento y un aprendizaje mayor
en la lógica matemática Logramos el conocimiento para el desarrollo de tablas de verdad
basado en proposiciones y en sus diferentes metodologías y simbología
 Bibliografía
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 61- 65) Recuperado de
https://ebookcentralproquestcom.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?doc
ID=4569631&ppg=72 Cardona, T. S. A. (2010).
Lógica matemática para ingeniería de sistemas y computación. (pp. 78 - 99). Ediciones
Elizcom, Madrid. Recuperado de https://ebookcentral-
proquestcom.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=
81 Arredondo, C. J., & Escobar, V. G. (2015).
Lógica: temas básicos. Distrito Federal, MÉXICO: Grupo Editorial Patria. (pp. 80 - 84)
Recuperado de
https://ebookcentralproquestcom.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?doc
ID=4569631&ppg=91 Castaño, G. (2017).
Leyes de inferencia, [Video]. Recuperado de http://hdl.handle.net/10596/13869