752 Tarea 1 KarolMarin

UNIDAD 1 – TAREA 1 – MÉTODOS PARA PROBAR LA VALIDEZ DE
ARGUMENTOS
PENSAMIENTO LOGICO Y MATEMATICO
Karol Dayana Marin Presiga
Código: 1113041986
Tutor: Álvaro Andrés Cifuentes
Grupo: 200611_752
UNIVERSIDAD ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
INGENIERIA ELECTRONICA
BUGALAGRANDE,
FECHA: 04-octubre-2020
Tabla de contenido
Introducción…………………………………………………………………………………...3
1. Objetivos…………………………………………………………………………………….4
2. Desarrollo de los ejercicios…………………………………………………………………5
3. Conclusiones……………………………………………………………………………….14
4.Referencias bibliográficas…………………………………………………………………15
Introducción
Las tablas de verdad son, por una parte, uno de los métodos más sencillos y conocidos de
la lógica formal, pero al mismo tiempo también uno de los más poderosos y claros. Entender
bien las tablas de verdad es, en gran medida, entender bien a la lógica formal misma.
Cada estudiante deberá seleccionar una letra: A,B,C,D o E, para desarrollar los ejercicios
de cada ítem, debido a esto el presente documento expone los resultados de cada uno de los
puntos que correspondió al ítem “B”.

Objetivos
 Elaborar una serie de ejercicios de proposiciones y tablas de verdad
 Realizar las leyes de inferencia basándose en las proposiciones simples
 Construir el lenguaje simbólico a lenguaje natural

Desarrollo de los ejercicios “B”
Ejercicio 1: Proposiciones y tablas de verdad.
B. p : Diego es deportista de alto rendimiento
q: Diego debe entrenar todos los días
r: Diego llena una vez por semana su tabla de rendimiento físico
( p →q ) ∨(∼r )
 Escriba la proposición compuesta en lenguaje natural
 Generar una tabla de verdad manual a partir del lenguaje simbólico y determinar si el
resultado es una tautología, contingencia o contradicción
 Generar la tabla a través del simulador Lógica unad
 Realizar un video donde explique la forma como fue desarrollado el ejercicio 1
Solución
 Lenguaje natural:
Si diego es deportista de alto rendimiento, entonces debe entrenar todos los días. O
diego no llena una vez por semana su tabla de rendimiento físico.

 Tabla de verdad
Lo primero que se hace es establecer el número de líneas de la tabla de verdad donde
depende de las variables de la proposición
2n=23 =8
p q r (p→q) (~r ( p →q ) ∨(∼r )

)
v v v v f v
v v f v v v
v f v f f f
v f f f v v
f v v v f v
f v f v v v
f f v v f v
f f f v v v
El resultado es una Contingencia
 Lógica UNAD
Link del video
https://www.youtube.com/watch?v=tzZ2CxuEaW0&ab_channel=KarolMarin
https://www.youtube.com/watch?v=tzZ2CxuEaW0&ab_channel=KarolMarin
Ejercicio 2: identificación de las reglas de la inferencia lógica
r→ s p∨q p
B. s→t ∼p q
r →t q p∧q
 Nombrar la ley de inferencia que representa cada expresión simbólica
 Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción
basada en contexto académico.
 Construir el lenguaje natural de cada ley de inferencia expresada en lenguaje simbólico
Solución
 Nombrar la ley de inferencia
r→ s p∨q
s → t Silogismo hipotético ∼ p Silogismo disyuntivo
r →t q
p
q Conjunción
p∧q
 P = Víctor asiste a laboratorio
Q = Realiza un circuito eléctrico
R= Realiza las prácticas de laboratorio
S= Víctor gana laboratorio
T = Pasa la materia
 Construir el lenguaje natural de cada ley de inferencia
r→ s
s→t
r →t
Si realiza las prácticas de laboratorio entonces gana laboratorio. Gana laboratorio, pasa la
materia
Conclusión: si Víctor realiza las prácticas de laboratorio entonces pasa la materia
p∨q
∼p
q
Víctor asiste a laboratorio o realiza un circuito eléctrico. Víctor no asiste a laboratorio
Conclusión: realiza un circuito eléctrico
p
q
p∧q
Víctor asiste a laboratorio. Realiza un circuito eléctrico
Conclusión: Víctor asiste a laboratorio y realiza un circuito eléctrico

Ejercicio 3: Aplicación de las reglas de la inferencia lógica
B. Si como saludable entonces disminuyo el riesgo de padecer enfermedades cardiovasculares. Si
disminuyo el riesgo de padecer enfermedades cardiovasculares entonces tendré una larga vida.
a. Conclusión:
b. Ley de inferencia aplicada:
c. Lenguaje simbólico:
 Identificar la conclusión del argumento
 Nombrar la ley de inferencia que se aplica para probar el argumento.
 Definir la expresión del argumento en lenguaje simbólico o formal
Solución
 Conclusión: Si como saludable entonces tendré una larga vida
 Silogismo hipotético
 P = si como saludable
Q= disminuyo el riesgo de padecer enfermedades cardiovasculares
R= tendré larga vida
p→q
q→r
p→r
Si como saludable entonces disminuyo el riesgo de padecer enfermedades
cardiovasculares. Si disminuyo el riesgo de padecer enfermedades cardiovasculares
entonces Tendré larga vida. Conclusión Si como saludable entonces tendré larga vida.
Ejercicio 4: Problemas de aplicación:
B. expresión simbólica : [ ( p →q ) ∧ ( p ∨ r ) ∧ (∼ r ∧∼ q ) ] →q
Premisas:
P 1: ( p → q )
P 2: ( p ∨r )
P 3: (∼ r ∧∼ q )
Conclusión: q
 Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción
basada en un contexto, el que se solicita es un contexto académico
 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las
proposiciones simples deben ser de autoría de cada estudiante
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual)
 Generar la tabla de verdad a través del simulador Lógica UNAD
 Demostración de la validez del argumento mediante las leyes de la inferencia lógica
Solución
 P: Gloria estudia para un examen
Q: gana el examen
R: pasa el semestre
 Lenguaje natural
P 1:( p → q) = Si Gloria estudia para un examen entonces gana el examen
P 2: ( p ∨r ) =¿ Gloria estudia para un examen o pasa el semestre
P 3: (∼ r ∧∼ q )=¿ Gloria No pasa el semestre y no gana el examen
Si Gloria estudia para un examen entonces gana el examen. Gloria estudia para un
examen o pasa el semestre. Gloria No pasa el semestre y no gana el examen. Por lo tanto,
Gloria gana el examen.
Conclusion:Gloria gana el examen
 Tabla de verdad
p q r (~q) (~r [ ( p →q ) ∧ ( p ∨ r ) ∧ (∼ r ∧∼ q ) ] →q
)
v v v f f V
v v f f v V
v f v v f V
v f f v v V
f v v f f V
f v f f v V
f f v v f V
f f f v v V
 Tabla de verdad LogicaUnad
 Demostración de la validez del argumento mediante las leyes de la inferencia lógica

Conclusión
 Al concluir este trabajo se logra reforzar una de las unidades trabajadas durante la
tarea 1.
 Desarrollando los ejercicios se dio la solución a cada uno, logrando aprender y
reforzar las habilidades matemáticas

Bibliografía
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y
fundamentos de álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-
28)una fuente en el documento actual
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp.
19-39).
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).
Dr. Axel Arturo Barceló Aspeitia (Marzo 26, 2012) Introducción a la Lógica
Intensional Lógica Temporal Proposicional
http://www.filosoficas.unam.mx/~abarcelo/INTENSIONAL/2012/260312.pdf

752 Tarea 1 KarolMarin

Cargado por

Copyright:

Formatos disponibles

752 Tarea 1 KarolMarin

Cargado por

Información del documento

Título 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

752 Tarea 1 KarolMarin

Cargado por

Copyright:

Formatos disponibles

UNIDAD 1 – TAREA 1 – MÉTODOS PARA PROBAR LA VALIDEZ DE

PENSAMIENTO LOGICO Y MATEMATICO

Karol Dayana Marin Presiga

Tutor: Álvaro Andrés Cifuentes

UNIVERSIDAD ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA

puntos que correspondió al ítem “B”.

 Elaborar una serie de ejercicios de proposiciones y tablas de verdad

 Realizar las leyes de inferencia basándose en las proposiciones simples

 Construir el lenguaje simbólico a lenguaje natural

Ejercicio 1: Proposiciones y tablas de verdad.

B. p : Diego es deportista de alto rendimiento

q: Diego debe entrenar todos los días

r: Diego llena una vez por semana su tabla de rendimiento físico

 Escriba la proposición compuesta en lenguaje natural

resultado es una tautología, contingencia o contradicción

 Generar la tabla a través del simulador Lógica unad

 Realizar un video donde explique la forma como fue desarrollado el ejercicio 1

diego no llena una vez por semana su tabla de rendimiento físico.

Lo primero que se hace es establecer el número de líneas de la tabla de verdad donde

depende de las variables de la proposición

p q r (p→q) (~r ( p →q ) ∨(∼r )

 Nombrar la ley de inferencia que representa cada expresión simbólica

basada en contexto académico.

 Construir el lenguaje natural de cada ley de inferencia expresada en lenguaje simbólico

 Nombrar la ley de inferencia

 P = Víctor asiste a laboratorio

Q = Realiza un circuito eléctrico

R= Realiza las prácticas de laboratorio

S= Víctor gana laboratorio

Conclusión: si Víctor realiza las prácticas de laboratorio entonces pasa la materia

Víctor asiste a laboratorio o realiza un circuito eléctrico. Víctor no asiste a laboratorio

Conclusión: realiza un circuito eléctrico

Víctor asiste a laboratorio. Realiza un circuito eléctrico

Conclusión: Víctor asiste a laboratorio y realiza un circuito eléctrico

B. Si como saludable entonces disminuyo el riesgo de padecer enfermedades cardiovasculares. Si

b. Ley de inferencia aplicada:

 Identificar la conclusión del argumento

 Nombrar la ley de inferencia que se aplica para probar el argumento.

 Definir la expresión del argumento en lenguaje simbólico o formal

 Conclusión: Si como saludable entonces tendré una larga vida

Q= disminuyo el riesgo de padecer enfermedades cardiovasculares

R= tendré larga vida

Si como saludable entonces disminuyo el riesgo de padecer enfermedades

cardiovasculares. Si disminuyo el riesgo de padecer enfermedades cardiovasculares

basada en un contexto, el que se solicita es un contexto académico

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

proposiciones simples deben ser de autoría de cada estudiante

Excel o foto del desarrollo manual)

 Generar la tabla de verdad a través del simulador Lógica UNAD

 Demostración de la validez del argumento mediante las leyes de la inferencia lógica

 P: Gloria estudia para un examen

P 2: ( p ∨r ) =¿ Gloria estudia para un examen o pasa el semestre

P 3: (∼ r ∧∼ q )=¿ Gloria No pasa el semestre y no gana el examen

Gloria gana el examen.

Conclusion:Gloria gana el examen

 Demostración de la validez del argumento mediante las leyes de la inferencia lógica

 Desarrollando los ejercicios se dio la solución a cada uno, logrando aprender y

reforzar las habilidades matemáticas