89 - Tarea - 1 - Jose Pardo

PENSAMIENTO LÓGICO Y MATEMÁTICO
TAREA 1 MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
TUTOR:
DIANA MARCELA HURTADO
JOSÉ RODOLFO PARDO VANEGAS

GRUPO 200611_89
ESCUELA DE CIENCIAS ADMINISTRATIVAS, CONTABLES, ECONÓMICAS Y DE

NEGOCIOS (ECACEN)
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
VILLANUEVA- CASANARE
2 DE OCTUBRE 2020
INTRODUCCIÓN
En la presente tarea profundice algunos conceptos correspondientes a los procedimientos para

probar la validez de argumentos, en el cual contextualice las reglas de inferencia de Modus
Ponendo Ponens, Simplificación, Adjunción y Silogismos Hipotético relacionando los ejemplos
de las mismas pudiendo apreciar el planteamiento y formulación de expresiones del lenguaje
simbólico, el lenguaje natural y proposiciones simples 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 de la observación de premisas y
todos los conocimientos adquiridos. Se interpretan e identifican en forma clara la estructura y
fundamento conceptual que tipifica los métodos de inferencia lógica por inducción.
OBJETIVOS
 Profundizar algunos conceptos correspondientes a los métodos para probar la validez de

argumentos.
 Contextualizar las reglas de inferencia Modus Ponendo Ponens, Simplificación,

Adjunción y Silogismos Hipotético relacionando ejemplos de las mismas.
 Realizar el planteamiento y formulación de expresiones del lenguaje simbólico,

proposiciones simples y el lenguaje natural, haciendo un análisis en la aplicación de
conectores lógicos.
 Aplicar las tablas de verdad por medio del análisis de premisas.

EJERCICIO 1: PROPOSICIONES Y TABLAS DE VERDAD
Descripción del ejercicio:

A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:
A. p: El 2020 fue un año atípico para todo el mundo
q: El COVID19 afecto gran parte de la economía
r: El COVID19 nos hizo reinventar en muchos campos de acción
(𝑝∨𝑟)∧(𝑝↔𝑞)
➢Escriba la proposición compuesta propuesta en lenguaje natural.
➢Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si el
resultado es una tautología, contingencia o contradicción.
➢Generar la tabla de verdad a través del simulador Lógica UNAD.
➢Realizar un vídeo donde explique la forma como fue desarrollado el ejercicio 1.
DESARROLLO
➢ El 2020 fue un año atípico para todo el mundo o el COVID19 nos hizo reinventar en muchos
campos de acción, y el 2020 fue un año atípico para todo el mundo si y solo si el COVID19
afecto gran parte de la economía.
p q R (pvr) (p↔q) (𝑝∨𝑟)∧(𝑝↔𝑞)
V V V V V V
V V F V V V
V F V V F F
V F F V F F
F V V V F F
F V F F F F
F F V V V V
F F F F V F
➢
Es una contingencia.
➢
➢ https://www.youtube.com/watch?v=mGS56Zkw2ds&t=21s
EJERCICIO 2: IDENTIFICACIÓN DE LAS REGLAS DE LA INFERENCIA LÓGICA

A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas leyes de
inferencia.
A) Expresión simbólica
1. r→s
r
────
s
2. p→q
¬q
────
¬p
3. p→q
q→r
────
p→r
➢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 un contexto, el que se solicita es un contexto académico (puede usar las mismas proposiciones
simples en cada una de las 3 expresiones simbólicas seleccionadas).
➢Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico.

DESARROLLO
➢ 1. Ley de inferencia de la expresión: Modus Ponendo Ponens (PP)

2. Ley de inferencia de la expresión: Modus tollendo tollens (TT)
3. Ley de inferencia de la expresión: Silogismo hipotético (SH)
➢ 1. r: Pardo estudia en la UNAD

s: Pardo aprobó el curso de pensamiento lógico y matemático
2. p: Pardo tiene buenas calificaciones en la universidad
q: Pardo está matriculado en contaduría pública
3. p: Pardo tiene buenas calificaciones en la universidad
q: Pardo está matriculado en contaduría pública
r: Pardo estudia en la UNAD
➢ 1. Si Pardo estudia en la UNAD entonces Pardo aprobó el curso de pensamiento lógico y

matemático. Pardo estudia en la UNAD. Por lo tanto, Pardo aprobó el curso de pensamiento
lógico y matemático.
2. Si Pardo tiene buenas calificaciones en la universidad entonces Pardo está matriculado en
contaduría pública. Pardo no está matriculado en contaduría pública. Por lo tanto, Pardo no tiene
buenas calificaciones en la universidad.
3. Si Pardo tiene buenas calificaciones en la universidad entonces Pardo está matriculado en
contaduría pública. Si Pardo está matriculado en contaduría pública entonces Pardo estudia en la
UNAD. Por lo tanto, si Pardo tiene buenas calificaciones en la universidad entonces Pardo
estudia en la UNAD.
EJERCICIO 3: APLICACIÓN DE LAS REGLAS DE LA INFERENCIA LÓGICA

A continuación, encontrará los argumentos para el desarrollo del ejercicio 3:
A. Si Rafael va al gimnasio entonces Rafael tiene un cuerpo tonificado. Rafael va al gimnasio.
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.
DESARROLLO
➢ Rafael tiene un cuerpo tonificado.
➢ Ley de inferencia de la expresión: Modus Ponendo Ponens (PP)
➢ p→q
p
────
q
EJERCICIO 4: PROBLEMAS DE APLICACIÓN

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento
para el desarrollo del ejercicio 4:
A. Expresión simbólica:
{(𝒑→¬𝒓)∧(¬𝒒→𝒑)∧(𝒑∧¬𝒒)}→(𝒑∧¬𝒓)
Premisas:
P1:𝒑→¬𝒓
P2:¬𝒒→𝒑
P3:𝒑∧¬𝒒
Conclusión: 𝒑∧¬𝒓
➢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.
➢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
DESARROLLO
➢ p: Pardo tiene buenas calificaciones en la universidad

q: La UNAD es una universidad pública
r: Pardo participo en los foros del curso
➢ Si Pardo tiene buenas calificaciones en la universidad entonces Pardo no participo en los foros
del curso. Si la UNAD no es una universidad pública entonces Pardo tiene buenas calificaciones
en la universidad. Pardo tiene buenas calificaciones en la universidad y si la UNAD no es una
universidad pública. Entonces Pardo tiene buenas calificaciones en la universidad y Pardo no
participo en los foros del curso.
p q R ¬q ¬r p→¬r ¬q→p p∧¬q (p→¬r)∧ {(p→¬r)∧(¬q→p)∧ (p∧¬r) {(p→¬r)∧(¬q→p)∧

(¬q→p) (p∧¬q)} (p∧¬q)}→(p∧¬r)
V V V V V V V V V V V V
V V F V F F V V F F F V
V F V F V V V F V F V V
V F F F F F V F F F F V
F V V V V V F F F F F V
F V F V F V F F F F F V
F F V F V V V F V F F V
F F F F F V V F V F F V
➢
➢
➢ Premisas:
P1:𝒑→¬𝒓
P2:¬𝒒→𝒑
P3:𝒑∧¬𝒒
Conclusión: 𝒑∧¬𝒓
P4: p˄¬q
─────── Simplificación (S) P3
∴ ¬q
P5: ¬q→p
p→¬r
─────── Silogismo Hipotético (SH) entre P2 y P1
∴ ¬q→¬r
P6: ¬q→¬r
¬q
─────── Modus Ponendo Ponens (PP) entre P5 y P4
∴ ¬r
P7: p˄¬q
─────── Simplificación (S) P3
∴p
P8: p
¬r
─────── Adjunción (A) entre P7 y P6
∴ p∧¬r
CONCLUSIONES

 Profundice algunos conceptos correspondientes a los métodos para probar la validez de
argumentos.
 Contextualice las reglas de inferencia Modus Ponendo Ponens, Simplificación, Adjunción

y Silogismos Hipotético relacionando en los ejemplos de las mismas.
 Realice el planteamiento y formulación de expresiones del lenguaje simbólico,

proposiciones simples y el lenguaje natural, haciendo un análisis en la aplicación de
conectores lógicos.
 Aplique las tablas de verdad por medio del análisis de premisas.
 Identifique el método de razonamiento aplicado para el ejercicio seleccionado.

REFERENCIAS BIBLIOGRÁFICAS
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 12

- 31). Ediciones Elizcom, Madrid. Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/71192?page=12
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
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-39).

México, D.F, Larousse - Grupo Editorial Patria. Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=30
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
file:///D:/USUARIO/Desktop/Unad/PENSAMIENTO%20LOGICO%20Y
%20MATEMATICO/Anexo%201%20-%20Gu%C3%ADa%20para%20el%20desarrollo%20de
%20la%20Tarea%201(1).pdf
%20MATEMATICO/Anexo%202%20-%20Simulador%20L%C3%B3gica%20UNAD.pdf
https://www.youtube.com/watch?v=Ea_ywnuK1t0&feature=youtu.be
http://logicaunad.com/jtruth/
%20MATEMATICO/Conectiva%20l%C3%B3gica.html

89 - Tarea - 1 - Jose Pardo

Cargado por

Copyright:

Formatos disponibles

89 - Tarea - 1 - Jose Pardo

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

89 - Tarea - 1 - Jose Pardo

Cargado por

Copyright:

Formatos disponibles

PENSAMIENTO LÓGICO Y MATEMÁTICO

TAREA 1 MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

JOSÉ RODOLFO PARDO VANEGAS

ESCUELA DE CIENCIAS ADMINISTRATIVAS, CONTABLES, ECONÓMICAS Y DE

En la presente tarea profundice algunos conceptos correspondientes a los procedimientos para

 Profundizar algunos conceptos correspondientes a los métodos para probar la validez de

 Contextualizar las reglas de inferencia Modus Ponendo Ponens, Simplificación,

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

 Aplicar las tablas de verdad por medio del análisis de premisas.

Descripción del ejercicio:

➢Escriba la proposición compuesta propuesta en lenguaje natural.

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

➢Realizar un vídeo donde explique la forma como fue desarrollado el ejercicio 1.

Descripción del ejercicio:

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

➢Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico.

➢ 1. Ley de inferencia de la expresión: Modus Ponendo Ponens (PP)

➢ 1. r: Pardo estudia en la UNAD

➢ 1. Si Pardo estudia en la UNAD entonces Pardo aprobó el curso de pensamiento lógico y

Descripción del ejercicio:

➢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.

➢ Rafael tiene un cuerpo tonificado.

➢ Ley de inferencia de la expresión: Modus Ponendo Ponens (PP)

Descripción del ejercicio:

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

➢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: Pardo tiene buenas calificaciones en la universidad

p q R ¬q ¬r p→¬r ¬q→p p∧¬q (p→¬r)∧ {(p→¬r)∧(¬q→p)∧ (p∧¬r) {(p→¬r)∧(¬q→p)∧

 Contextualice las reglas de inferencia Modus Ponendo Ponens, Simplificación, Adjunción

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

 Aplique las tablas de verdad por medio del análisis de premisas.

 Identifique el método de razonamiento aplicado para el ejercicio seleccionado.

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 12

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-39).

También podría gustarte