0% encontró este documento útil (0 votos)
0 vistas13 páginas

Anexo 3 - Plantilla Tarea 2

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1/ 13

Unidad 1 – Tarea 2 Métodos para probar la validez de argumentos

Ricardo Antonio Pareja Tellez – Código 72255022

Pensamiento Lógico y Matemático 200611

Grupo 200611_682

Director-Tutor

Daniel Giovanni Rodríguez Coral

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería

2024
Introducción

En la siguiente actividad se evidencias unos ejercicios en el desarrollo de la

primera unidad en del curso pensamiento lógico matemático donde el estudiante aborda

gradualmente edificando su propio conocimiento a partir de los temas relacionados.

Se hace una demostración obtenida a través del desarrollo de pensamiento lógico

por medio de construcción de preposiciones, lenguaje natural, examinando y

comparando tablas de verdad y leyes de inferencia para algunos ejercicios de la

actividad concediendo así la evidencia el prototipo de enseñanza puesto en práctica los

temas relacionados para que el estudiante pudiera resolver las actividades propuesta con

ayuda de una herramienta Truth Table para corroborar que la respuesta sea la correcta.

Objetivos

General
Aplicar todos los métodos de la actividad por medio de tipos de razonamientos,

identificando tablas de verdad, lenguaje simbólico y natural, leyes de inferencias

demostrando así lo aprendido de la unidad.

Específicos

 Crear por medio de los ejercicios tablas de verdad y ordenarla a través de

la tautología, contradicción y contingencia.

 Identificar y analizar utilizando en los ejercicios las leyes de inferencia

para la validez de un argumento de los problemas planteados.

 Deducir lenguaje simbólico describir proposiciones simples

construyendo su lenguaje natural según sea el ejercicio propuesto.

Ejercicio 1: Proposiciones y tablas de verdad


Ejercicio C.

p: El alza del salario mínimo es superior a la inflación.

q: Disminuirá el desempleo.

r: Habrá una baja en las exportaciones.

(p → ~ q) → r

 Escribir la proposición compuesta del leguaje simbólico en un lenguaje

natural.

p: SI el alza del salario mínimo es superior a la inflación

q: Implica que no disminuirá el desempleo,

r: Entonces habrá una baja en las exportaciones.

(p → ~ q) → r

p q r ~q (p → ~ q) (p → ~ q) → r

V V V F F V
V V F F F V
V F V V V V
V F F V V F
F V V F V V
F V F F V F
F F V V V V
F F F V V F

La tabla de verdad es una contingencia


 Generar la tabla de verdad a través del simulador tablas de verdad.

Link vídeo explicativo ejercicio 1: xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

Ejercicio 2: Aplicación de la lógica fundamental

Ejercicio C

Si los juegos olímpicos son el mayor evento deportivo internacional y son

considerados la principal competencia del mundo deportivo, entonces Ángel

Barajas es considerado el mejor gimnasta colombiano del mundo.


 Definir cuáles son las proposiciones simples que intervienen en el

argumento.

p. juegos olímpicos son el mayor evento deportivo internacional

q: considerados la principal competencia del mundo deportivo

r: Ángel Barajas es considerado el mejor gimnasta colombiano del mundo.

 Identificar los conectores que intervienen en el argumento.

Conectores

y: conjunción ∧ entonces condicional (→)

 Construir el lenguaje simbólico correspondiente al argumento.

(p ∧ q) → r

 Determinar si el argumento es una tautología, contradicción o contingencia

a través del simulador de tablas de verdad.

p q r (p ∧ q) (p ∧ q) r →

V V V V V
V V F V F
V F V F V
V F F F V
F V V F V
F V F F V
F F V F V
F F F F V

La tabla de verdad es una contingencia


Ejercicio 2 tabla de verdad

Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia

lógica

 Deducir las premisas (P1, P2, P3…) y la conclusión.

 Defina la ley de inferencia que representa el lenguaje simbólico dado.

 Adjuntar un pantallazo del simulador de tablas de verdad que demuestre la

tautología de la ley de inferencia

C. Expresión simbólica

[(p → s) ∧ (~t → ~r) ∧ (p ∨ ~t)] → (s ∨ ~r)

p1: (p → s)

p2: (~t → ~r)

p3: (p ∨ ~t)

Conclusión: (s ∨ ~r)
Ley utilizada: Modus Ponems Y Ley de Adicción

Tabla de verdad es una Tautología

Ejercicio 4: Problemas de aplicación.

Premisa Ley Premisas ¿Correcto


Aplicada Usadas o Incorrecto? Justificación
s
P4: s Doble P2 Correcto Podemos
negación simplificar la
Premisa 2 mediante
la ley de doble

De ∼(∼s)
negación:

obtenemos que s es
verdadero.

P5: p ∨ MPP P1,P3 Correcto Dado que


q tenemos s→(p∨q) y
sabemos que s es
verdadero, podemos
aplicar Modus
Ponens para
concluir:
 p∨q

tenemos ∼p y p∨q,
P6: q MTT P3, P5 Correcto Dado que
podemos aplicar la
ley de disyuntiva o
Modus Tollendo
Ponens:
 Si p∨q es

∼p
verdadero y

verdadero,
entonces q
debe es
verdadero.

p: Juan entrena futbol con su equipo

q: Juan juega el partido de campeonato

r: Juan gana el campeonato

[(s → (p ∨ q)) ∧ ∼(∼s) ∧ (∼p)]→q

Dado el argumento [(s→(p∨q))∧∼(∼s)∧(∼p)]→q, vamos a aplicar el contexto

de las proposiciones para interpretarlo en términos del problema planteado:

 p: Juan entrena fútbol con su equipo.


 q: Juan juega el partido de campeonato.
 r: Juan gana el campeonato.
Interpretación de cada componente:

1. s→(p∨q)s: Si alguna condición s es verdadera, entonces Juan entrena con su


equipo o juega el partido de campeonato.
2. ∼(∼s): Esto se simplifica a s, por la ley de doble negación. Esto nos dice que la
condición s es verdadera.
3. ∼p: Juan no entrena fútbol con su equipo.
Argumento en lenguaje natural

Queremos demostrar que, si (s→(p∨q)) y s y ∼p son verdaderos, entonces q

(Juan juega el partido de campeonato) debe ser verdadero.

Demostración paso a paso


1. Premisa 1: s→(p∨q)s
2. Premisa 2: ∼(∼s) se simplifica a s (por doble negación).
3. Premisa 3: ∼p
4. Dado que s→(p∨q)s y sabemos que s es verdadero (Premisa 2), aplicamos
Modus Ponens para concluir:
o p∨q (Juan entrena con su equipo o juega el partido de campeonato).

5. Sabemos que ∼p (Premisa 3), lo cual significa que p es falso.


6. Dado p∨qp y ∼p, aplicamos Tollendo Ponens (o ley de la disyuntiva) para
concluir:
o q (Juan juega el partido de campeonato).
Conclusión

Hemos demostrado que [(s→(p∨q))∧∼(∼s)∧(∼p)]→q, lo que significa que, si

las premisas son verdaderas, entonces Juan jugará el partido de campeonato.


Conclusiones

Gracias a el Pensamiento lógico matemático se pudo analizar comprender las

temáticas como son los tipos de razonamiento, validez, conclusiones y leyes que nos

ayuda a contribuir el desarrollo de nuestra inteligencia con la capacidad de solucionar

adversidades y problemas de la vida cotidiana en todos sus ámbitos con el fin de

estimular la capacidad de razonar con la finalidad de planificara y conseguir el objetivo

propuesto.

Podemos observar que cada procedimiento que se aplica a una ley nos lleva a

otra regla de lógica matemática por medio de unas fórmulas que demuestran validez y

pueden ser clasificadas según sus valores gracias a su pensamiento lógico y la posible

interpretación de los lenguajes incrementando un alto nivel de pensamiento analítico de

este modo le damos una solución concreta a cada ejercicio propuesto de la temática de

la actividad.
Referencias Bibliográficas

 Curo, A. (2015). Matemática básica para administradores.

Universidad Peruana de Ciencias Aplicadas (UPC). (pp. 13-27).

https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/41

333?page=10

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

discretas y teoría de grafos. El Cid Editor. (pp. 40-49).

https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36

562?page=59

 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras

algebraicas y fundamentos de álgebra lineal. Volumen I:

conjuntos numéricos, complementos. Editorial Tébar Flores. (pp.

19-28).

https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51

977?page=20

 Vargas, E., Núñez, L. A. (2019). Lógica matemática y teoría de

conjuntos. Universidad Abierta para Adultos (UAPA). (pp. 19-

36).

https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/17

6645?page=19

 Vargas Villegas, E. & Nuñez, L. A. (2019). Lógica matemática y

teoría de conjuntos. Universidad Abierta para Adultos (UAPA).

(pp 67-77).

https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/17

6645?page=68
 Castaño, C. & García, A., R. (2022). Aplicación de las reglas de

inferencia lógica. [Objeto_virtual_de_Informacion_OVI]. Repositorio

Institucional UNAD. https://repository.unad.edu.co/handle/10596/52741

 Castaño, C. & Martínez, C. (2022). Lógica e inferencia.

[Objeto_virtual_de_Informacion_OVI]. Repositorio Institucional

UNAD. https://repository.unad.edu.co/handle/10596/52739

También podría gustarte