lOMoARcPSD|13460270

Unidad 2 - Tarea 2 métodos para probar la validez de

argumentos - Grupo 3180
pensamiento logico matematico (Universidad Nacional Abierta y a Distancia)

Studocu is not sponsored or endorsed by any college or university

Downloaded by FER PÉREZ (tatoxd2001@gmail.com)
 lOMoARcPSD|13460270

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

Mayra Alejandra González Tineo – Código 1006455450

Pensamiento Lógico y Matemático 200611

Grupo 200611_3180

Tutor

Xesley Pinilla

Universidad Nacional Abierta y a Distancia – (UNAD)

Escuela de Ciencias Sociales, Artes y Humanidades – (ECSAH)

Programa de Psicología

2023

Downloaded by FER PÉREZ (tatoxd2001@gmail.com)

 lOMoARcPSD|13460270

Introducción

En el presente trabajo profundizaremos algunos conceptos correspondientes a los Métodos para

probar la validez de argumentos, en el cual contextualizamos las reglas de inferencia Modus

Ponendo Ponens, Modus Tollendo Tollens, y Silogismos Hipotético. Podremos ver el

planteamiento y formulación de expresiones del lenguaje simbólico y el lenguaje natural,

haciendo un análisis en la aplicación de conectores lógicos que se dan para determinadas

situaciones que se plantean en el trabajo a presentar. Argumentar y formular tablas de verdad por

medio del análisis de premisas y todos los conocimientos adquiridos

Downloaded by FER PÉREZ (tatoxd2001@gmail.com)

 lOMoARcPSD|13460270

Objetivos

General

Adquirir conocimiento normas APA

Específicos

Diseñar portada con norma APA.

Diseñar contenido con norma APA

Downloaded by FER PÉREZ (tatoxd2001@gmail.com)

 lOMoARcPSD|13460270

Voy a desarrollar los ejercicios A.

Ejercicio 1: Proposiciones y tablas de verdad:

p: La mayor problemática social es la falta de educación.

q: La educación debe asumir pertinencia en sus modelos.

r: El modelo educativo actual retrasa el desarrollo generando desigualdades en la sociedad.

 LENGUAJE SIMBÓLICO:

� → (q v �)

 LENGUAJE NATURAL:

La mayor problemática social es la falta de educación entonces la educación debe asumir

pertinencia en sus modelos o el modelo educativo actual retrasa el desarrollo generando

desigualdades en la sociedad.

Downloaded by FER PÉREZ (tatoxd2001@gmail.com)

 lOMoARcPSD|13460270

TABLA MANUAL:

Enlace del vídeo explicativo ejercicio 1:

https://screencast-o-matic.com/watch/c0fo1uVa9UW

Downloaded by FER PÉREZ (tatoxd2001@gmail.com)

 lOMoARcPSD|13460270

Ejercicio 2: Aplicación de las reglas de inferencia lógica:

EJERCICIO: A

Si Camila es una líder ambiental entonces gana un premio internacional a jóvenes ambientalistas.
Camila es una líder ambiental.
A. Lenguaje simbólico:

p: Camila es una líder ambiental.

q: gana un premio internacional a jóvenes ambientalistas.

p1= p q
p2= p

conclusión: q

B. Ley de inferencia aplicada:

Modus Ponendo Ponens (PP)

C. Conclusión:

gana un premio internacional a jóvenes ambientalistas.

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

EJERCICIO A:

Expresión simbólica: [(p→q) ᴧ (q→r) ᴧ (p v s) ᴧ~s]→ (p v t)

Downloaded by FER PÉREZ (tatoxd2001@gmail.com)

 lOMoARcPSD|13460270

Conclusión: p v t

P1: p→q

P2: q→r

P3: p v s

P4: ~ s

Demostración:

Premisa Ley de inferencia aplicada Premisas usadas

P5: p→ r Silogismo Hipotético (SH) P1, P2
P6: p Tollendo Ponens (TP) P3, P4
P7: p v t Ley de la Adición (LA) P6

Downloaded by FER PÉREZ (tatoxd2001@gmail.com)

 lOMoARcPSD|13460270

TABLA DE LA VERDAD

Downloaded by FER PÉREZ (tatoxd2001@gmail.com)

 lOMoARcPSD|13460270

Ejercicio 4: Problemas de aplicación.

EJERCICIO: A

A. Expresión simbólica: [(p →q) ∧ (p ∨ ~r) ∧ (r)]→ (q ᴧ r)

Premisas:

P1: (p → q)

P2: (p ∨ ~r)

P3: r

Conclusión: q ᴧ r

SOLUCIÓN.

p: Mayra estudia en el día pensamiento lógico y matemático

q: Mayra maneja su tiempo de estudio adecuadamente

r: Mayra se atrasa en las actividades del curso

LENGUAJE NATURAL.

[(p →q) ∧ (p ∨ ~r) ∧ (r)]→ (q ᴧ r)

Mayra estudia en el día pensamiento lógico y matemático entonces Mayra maneja su tiempo de

estudio adecuadamente y Mayra estudia en el día pensamiento lógico y matemático o Mayra no se

atrasa en las actividades del curso y Mayra se atrasa en las actividades del curso entonces Mayra

maneja su tiempo de estudio adecuadamente y Mayra se atrasa en las actividades del curso.

p q r ~r (p →q) (p ∨ (p →q) ∧ (p ∨ ~r) (p →q) ∧ (p ∨ ~r) ∧ (q ᴧ r) [(p →q) ∧ (p ∨ ~r) ∧ (r)]→ (q ᴧ r)

~r) (r)
V V V F V V V V V V

Downloaded by FER PÉREZ (tatoxd2001@gmail.com)

 lOMoARcPSD|13460270

10

V V F V V V V F F V

V F V F F V F F F V

V F F V F V F F F V

F V V F V F F F V V

F V F V V V V F F V

F F V F V F F F F V

F F F V V V V F F V

TABLA MANUAL.

Se clasifica como: Tautología ya que todos los valores del operador son verdaderos.

TABLA DE LA VERDAD – SIMULADOR

Downloaded by FER PÉREZ (tatoxd2001@gmail.com)

 lOMoARcPSD|13460270

11

DEMOSTRACIÓN DE LA VALIDEZ DEL ARGUMENTO MEDIANTE LAS LEYES DE LA

INFERENCIA LÓGICA.

A. [(p →q) ∧ (p ∨ ~r) ∧ (r)]→ (q ᴧ r)

Premisas:

P1: (p → q)

P2: (p ∨ ~r)

P3: r

Conclusión: q ᴧ r

Demostración:

Premisa Ley de inferencia aplicada Premisas usadas

P5: p Tollendo Ponens (TP) P2, p3
P6: q Modus Ponendo Ponens (MPP) P1, p5
P7: q ᴧ r Adjunción (A) P6, p3

Downloaded by FER PÉREZ (tatoxd2001@gmail.com)

 lOMoARcPSD|13460270

12

Conclusiones

Downloaded by FER PÉREZ (tatoxd2001@gmail.com)

 lOMoARcPSD|13460270

13

Referencias Bibliográficas

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/36562?

page=59

Downloaded by FER PÉREZ (tatoxd2001@gmail.com)