TAREA 3 - SUSTENTACIÓN UNIDADES 1 O 2

PRESENTADO POR

KATHERINE BRIGITTE COLMENARES GARCIA

CÓDIGO: 1098632806

TUTOR
JAVIER ERNESTO RODRÍGUEZ

GRUPO
90004_68

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LÓGICA MATEMÁTICA
AGOSTO – 2019
 INTRODUCCIÓN

Por medio del siguiente trabajo se el estudiante interpreta problemas

contextualizados, aplicando los conceptos propios del cálculo
proposicional y la teoría de conjuntos.

El estudiante identifica las reglas de inferencia y razonamientos

deductivos e inductivos, para probar la validez de argumentos en
situaciones problémicas
 OBJETIVOS

Lograr identificar los métodos utilizados de las leyes de inferencia y

razonamiento deductivo e inductivo, mediante formulación de lenguaje
simbólico y lenguaje natural mediante un análisis de la tabla de verdad
y argumentación demostrativa

OBJETIVOS ESPECIFICOS

 Utilizar estrategias basadas en problemas para probar validez de

argumentos
 Socializar en el foro el desarrollo de las actividades Solución a
problemas de razonamientos lógicos
 Identificar las expresiones simbólicas, premisas y conclusión de
argumentos
 Solución de problemas mediante el uso de la lógica, con
argumentos
Ejercicio 1: Aplicación de la Teoría de Conjuntos

Para el desarrollar esta tarea, es necesario que el estudiante revise en el

Entorno de Conocimiento (Unidad 1), las siguientes referencias:

 Gonzáles, T. L., & Saavedra, M. (2009). Teoría de

Conjuntos. En ProQuest ebrary (Ed). Aciertos matemáticos
11: serie para la educación media. (pp. 20 -24).
 Wagner, M. (2016). Lógica conjuntos 1, [Video]

Una vez realizada la lectura, desarrolle el ejercicio propuesto

b. En una encuesta realizada a un grupo de estudiantes de la

universidad nacional abierta y a distancia UNAD, sobre cual opción
de grado entre pasantía (P), proyecto de investigación (I) y
proyecto aplicado (A) es la que más le llama la atención para
obtener su título profesional se obtuvieron los siguientes
resultados:
 70 prefieren como opción de grado realizar pasantía
 35 prefieren como opción de grado el proyecto de
investigación
 25 prefieren como opción de grado proyecto aplicado.
 5 estudiantes se inclinan por las tres opciones
 15 estudiantes se inclinan por pasantía y proyecto aplicado
 10 estudiantes se inclinan por pasantía y proyecto de
investigación
 2 estudiantes se inclinan por proyecto de investigación y
proyecto aplicado, pero no pasantía
 4 estudiantes no les llama la atención ninguna de las
opciones de grado presentadas
De acuerdo con la información suministrada responda:

 ¿Cuántos estudiantes prefieren como opción de grado

proyecto de investigación o pasantía, pero no proyecto
aplicado?
 ¿Cuántos estudiantes prefieren como opción de grado solo
proyecto aplicado?
 ¿Cuántos estudiantes se inclinan por proyecto aplicado y
proyecto de investigación?
 ¿Cuántos estudiantes se encuestaron en total?

U= 107
P= pasantía = 70
I= proyecto de investigación =35
A= proyecto aplicado = 25
P ∩ I = 10
I∩A=7
P ∩ A = 15
P∩A ∩I =5
P= 70-10-5-5 = 50
I= 35-5-5-2 =23
A=25-10-5-2=8
U=107-103= 4

Rtda:

 ¿Cuántos estudiantes prefieren como opción de grado

proyecto de investigación o pasantía, pero no proyecto
aplicado?
5 ESTUDIANTES

 ¿Cuántos estudiantes prefieren como opción de grado solo

proyecto aplicado?

8 ESTUDIANTES
 ¿Cuántos estudiantes se inclinan por proyecto aplicado y
proyecto de investigación?
Ejercicio 2: Métodos para probar la validez de un argumento

b. Expresión simbólica:

[(𝑝 → 𝑞) ∧ (¬𝑝 → 𝑟) ∧ (𝑟 → 𝑠)] → (¬𝑞 → 𝑠)

Premisas:
P1: 𝑝 → 𝑞
P2: ¬𝑝 → 𝑟
P3: 𝑟 → 𝑠

Conclusión: ¬𝑞 → 𝑠

Desarrollo:
Premisas simples:
p: la ley fue aprobada
q: el pago de las horas queda como estaba
r: debemos trabajar más horas extras
s: el proyecto se retrasará un mes

Razonamiento en lenguaje natural:

[(𝑝 → 𝑞) ∧ (¬𝑝 → 𝑟) ∧ (𝑟 → 𝑠)] → (¬𝑞 → 𝑠)

La ley si fue aprobada, entonces el pago de las horas queda como

estaba. Si la ley no fue aprobada, entonces si debemos trabajar más
horas extras. Si debemos trabajar más horas extras, entonces el
proyecto se retrasara un mes. Por lo tanto el pago de las horas no
queda como estaba, entonces el proyecto se retrasara un mes.

Tabla de verdad manual

p q r s ¬p ¬q ¬r ¬s
1 v v v v f f f f v v v v v v v
2 v v v f f f f v v v f v f v v
3 v v f v f f v f v f v f f v v
4 v v f f f f v v v f v f f v v
5 v f v v f v f f f v v f f v v
6 v f v f f v f v f v f f f f v
7 v f f v f v v f f f v f f v v
8 v f f f f v v v f f v f f f v
9 f v v v v f f f v v v v v v v
10 f v v f v f f v v v f v v v
11 f v f v v f v f v v v v v v v
12 f v f f v f v v v v v v v v v
13 f f v v v v f f v v v v v v v
14 f f v f v v f v v v f v f f v
15 f f f v v v v f v v v v v v v
16 f f f f v v v v v v v v v f v
Leyes de inferencia:

Premisas:
P1: 𝑝 → 𝑞
P2: ¬𝑝 → 𝑟
P3: 𝑟 → 𝑠

Conclusión: ¬𝑞 → 𝑠

__________________

4. ¬𝑝 → 𝑠 (2),(3) silogismo hipotético

5. 𝒓→𝑠 (2),(4) silogismo hipotético

6. ¬𝑝 → ¬𝑞 (1) ley contraria

7. ¬𝑞 → 𝑠 (2),(6) silogismo hipotético

 CONCLUSIONES

En este trabajo se concluyó con la elaboración de 2 ejercicios en donde

se trabajó Lógica proposicional, tablas de verdad en proposiciones
compuestas, álgebra de proposiciones, teoría de conjuntos, operaciones
entre conjuntos, razonamientos lógicos, inferencia lógica y argumentos
lógicos. De esta misma forma se encontró la solución de cada ejercicio
con su respectiva solución.
 BIBLIOGRAFIA

 Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y

ejercicios: Larousse - Grupo Editorial Patria. (pp. 29-38). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action
?ppg=40&docID=11013570&tm=1492519542738

 Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo

Editorial Patria. (pp.163-166). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action
?ppg=178&docID=11046000&tm=1492520104862

 Pérez, A. R. (2013). Una introducción a las matemáticas discretas y

teoría de grafos. Córdoba, AR: El Cid Editor. (pp. 40-49) Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action
?ppg=59&docID=10732485&tm=1492520387992

 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos.

Distrito Federal, MÉXICO: Grupo Editorial Patria. (pp. 80-84)
Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.actio
n?ppg=91&docID=11230887&tm=1496180214861