PENSAMIENTO LOGICO Y MATEMATICO

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

1

INTEGRANTE:

GRUPO: 200611_1078

TUTOR: ÁLVARO ANDRÉS CIFUENTES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA “UNAD”

ESCUELA DE CIENCIAS ADMINISTRATIVAS, CONTABLES, ECONOMICAS Y DE
NEGOCIOS
26 SEPTIEMBRE DE 2021
PRADERA VALLE.

1
 INTRODUCCIÓN

El presente trabajo se realizó con la intención de profundizar algunos conceptos correspondientes a

Métodos para probar la validez de argumentos y las reglas de inferencia como lo son: Modus
Ponendo Ponens, Modus Tollendo Tollens, y Silogismos Hipotético.
Se observará el planteamiento y formulación de expresiones del lenguaje simbólico y el lenguaje
natural, estableciendo un análisis en la aplicación de conectores lógicos que se dan a las situaciones
que se plantean en el trabajo a presentar.
Se argumenta y formular tablas de verdad por medio del análisis de premisas y todos los
conocimientos adquiridos. Se identifica de forma esclarecida la estructura y justificación conceptual
que unifica los métodos de inferencia lógica por inducción

2
 OBJETIVOS

 Profundizar los conceptos de métodos para probar la validez de argumentos.

 Analizar las reglas de inferencia.

 Crear planteamientos y formulación de expresiones de lenguaje natural y simbólico.

 Utilizar las tablas de la verdad por medio de análisis de las premisas.

3
 ACTIVIDADES A DESARROLLAR

Ejercicio 1: Proposiciones y tablas de verdad

p: El 30% de los estadounidenses quiere vacunarse contra el virus COVID-19.

q: La vacunación ha comenzado a frenarse en Estados Unidos por diferentes motivos.
r: En algunos estados dan premios a cambio de la vacunación.

[(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)
LENGUAJE NATURAL
El 30% de los estadounidenses quiere vacunarse contra el virus COVID-19 y la vacunación
ha comenzado a frenarse en estados unidos por diferentes motivos y si el 30% de los
estadounidenses quiere vacunarse contra el virus COVID-19 entonces en algunos estados
dan premios a cambio de la vacunación.
Entonces en algunos estados dan premios a cambio de la vacunación y la vacunación a
comenzado a frenarse en Estados Unidos por diferentes motivos.

p q r [(p^q) ^(p→r)]
→(r^q)
v v v v

v v f v

v f v v

v f f v

f v v v

f v f v

f f v v

f f f v

4
Se clasifica como: tautología

https://youtu.be/2pOR3vGeqnA
VIDEO: explicación del ejercicio

5
 Ejercicio 2: Identificación de las reglas de la inferencia lógica

➢ Expresión simbólica
p^q
_______
q

➢ Ley de inferencia de la expresión:

Simplificación (S)

➢ Proposiciones simples:
P: Andrés estudio contaduría pública en la UNAD
Q: Andrés aprobó el curso de inglés A1

➢ Lenguaje Natural:
Andrés estudio contaduría pública en la UNAD y Andrés aprobó el curso de ingles A1. Por
lo tanto Andrés aprobó el curso de inglés A1

➢ Expresión simbólica
p∨q
∼q
______
p

➢ Ley de inferencia de la expresión:

Modus Tollendo Ponens (MTP)

➢ Proposiciones simples:
P: Andrés estudio contaduría pública en la UNAD
Q: Andrés aprobó el curso de inglés A1

➢ Lenguaje Natural:
Andrés estudio contaduría publica en la UNAD o Andrés aprobó el curso de inglés A1.
Andrés no aprobó el curso de ingles A1. Por lo tanto, Andrés estudio contaduría pública en
la UNAD.

6
➢ Expresión simbólica
p→q
∼q
_______
∼p

➢ Ley de inferencia de la expresión:

Modus Tollendo Tollens

➢ Proposiciones simples:
P: Andrés estudio contaduría pública en la UNAD
Q: Andrés aprobó el curso de inglés A1

➢ Lenguaje Natural:
Andrés estudio contaduría publica en la UNAD entonces Andrés aprobó el curso de ingles
A1. Andrés no aprobó el curso de ingles A1. Por lo tanto, Andrés no estudio contaduría
pública en la UNAD.

7
Ejercicio 3: Aplicación de las reglas de la inferencia lógica
B. Realizo 15 kilómetros en 45 minutos pedaleando tres veces por semana o corro 45
minutos diario. Si Realizo 15 kilómetros en 45 minutos pedaleando tres veces por semana
entonces mi cuerpo 10 mejora el sistema circulatorio. Si corro 45 minutos diario entonces
mi cuerpo mejora el sistema circulatorio.
a) Conclusión: Si corro 45 minutos diario entonces mi cuerpo mejora el sistema
circulatorio.
b) Ley de inferencia aplicada: hipotético
c) Lenguaje simbólico:

r∨s
→r →q
________
→s →q
r: Realizo 15 kilómetros en 45 minutos pedaleando tres veces por semana.
S: corro 45 minutos diario
Q: mi cuerpo 10 mejora el sistema circulatorio

8
Ejercicio 4: Problemas de aplicación

➢ Expresión simbólica:
[(p v q) ∧ (p →r) ∧ ∼q ] → r
Premisas:
P1: p v q
P2: p →r
P3: ∼q
Conclusión: r

➢ Proposiciones simples:
P: Andrés estudio contaduría pública en la UNAD
Q: Andrés matriculo el curso de inglés A1
R: Andrés se graduó en la UNAD

➢ Lenguaje Natural:
Si Andrés estudio contaduría publica en la UNAD o Andrés matriculo el curso de inglés
A1. Andrés estudio contaduría pública en la UNAD entonces Andrés se graduó en la
UNAD. Andrés no matriculo el curso de inglés A. por lo tanto Andrés se graduó en la
UNAD.

➢ Tabla de verdad manual

P q r ∼q Pvq p →r [ (p v q) ∧ (p →r) ∧ ∼q

V V V F V V V
V V F F V F V
V F V v V V V
V F F V V F V
F V V F V V V
F V F F V V V
F F V V F V V
F F F V F v v

9
ES UNA TAUTOLOGIA.

➢ Tabla de verdad Simulador UNAD

10
 CONCLUCIONES

 Profundice algunos conceptos de métodos para aprobar la validez de argumentos.

 analice las reglas de inferencia.

 Cree y estudie los planteamientos y fórmulas de expresión natural y simbólico.

 Utilice las tablas de verdad a base del análisis de las premisas.

11
 REFERENCIAS

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

fundamentos de álgebra lineal. Volumen I: conjuntos numéricos,
complementos. (pp. 19-28). Madrid, España: Editorial Tébar Flores.
Recuperado
de https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?
page=20

 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
de https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?
page=59

 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
de https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?
page=59

12