1

Tarea 1 – Métodos para probar la validez de Argumentos

Ana M. Lujan Mancera Código: 1120375501

Escuela de Ciencias de la Educación, Universidad Nacional Abierta y a Distancia

Pensamiento Lógico y Matemático, Grupo 1721

Director de curso Carolina Castaño

Tutor Yimmer C. Vargas

19 septiembre del 2020

 2

Introducción

La presente tarea corresponde a la unidad 1- fundamentos de lógica en la cual se dio solución

a cuatro ejercicios en los que se aplicó las tablas de verdad y reglas de inferencia para probar su

validez de argumentos de acuerdo a la letra seleccionada, en este caso se eligió la letra A.

 3

Objetivos

Objetivo General: probar la validez de los argumentos aplicando las tablas de verdad y

reglas de inferencia de acuerdo al ejercicio seleccionado.

Objetivo Específico:

 Reconocer lenguaje simbólico y lenguaje Natural de las preposiciones simples

 Clasificar las tablas de verdad de acuerdo a los resultados

 Identificar y aplicar las leyes de inferencia de acuerdo al argumento.

 4

En la tarea 1 Métodos para probar la validez de argumentos, elegí desarrollar los ejercicios A.

Ejercicio 1: Proposiciones y tablas de verdad

A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:

 Proposiciones simples

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
 Lenguaje simbólico

(𝑝 ∨ 𝑟) ∧ (𝑝 ↔ 𝑞)

 Lenguaje Natural

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 solo si el 2020 fue un año atípico para todo el mundo,

entonces el COVID19 afecto gran parte de la economía.

 Tabla manual

p q r (𝑝 ∨ 𝑟) (𝑝 ↔ 𝑞) (𝑝 ∨ 𝑟) ∧ (𝑝 ↔ 𝑞)
V V V V V V
V V F V V V
V F V V F F
F V V V F F
V F F V F F
F V F F F F
F F V V V V
F F F F V F
 5

 Se clasifica como: Contingencia

 Tabla de verdad Simulador UNAD

 Link del video

https://youtu.be/SSnbkxJWDm8
 6

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

 Expresión simbólica

 Ley de inferencia de la expresión: Modus Ponens (MP)

 Proposiciones simples:

r: Ana estudio técnico en primera infancia en el SENA

s: Ana cumplió con las horas sociales del técnico

 Lenguaje natural

si Ana estudio técnico en primera infancia en el SENA entonces Ana cumplió con las

horas sociales del técnico. Ana estudio técnico en primera infancia en el SENA. Por lo

tanto, Ana cumplió con las horas sociales del técnico.

 Expresión simbólica

 Ley de inferencia de la expresión: Modus Tollens (MT)

 Proposiciones simples:

p: Ana se graduó como técnico en primera infancia del SENA

q: Ana cumplió con las horas sociales del técnico

 7

 Lenguaje natural

si Ana se graduó como técnico en primera infancia del SENA entonces Ana cumplió

con las horas sociales del técnico. Ana no cumplió con las horas sociales del técnico.

Por lo tanto, Ana no se graduó como técnico en primera infancia del SENA.

 Expresión simbólica

 Ley de inferencia de la expresión: Silogismo Hipotético (SH)

 Proposiciones simples:

p: Ana se graduó como técnico en primera infancia del SENA

q: Ana cumplió con las horas sociales del técnico

r: Ana trabajo en un hogar comunitario del ICBF

 Lenguaje natural

si Ana se graduó como técnico en primera infancia del SENA entonces Ana cumplió

con las horas sociales del técnico. Si Ana cumplió con las horas sociales del técnico

entonces, Ana trabajo en un hogar comunitario del ICBF. Por lo tanto, Ana se graduó

como técnico en primera infancia del SENA entonces Ana trabajo en un hogar

comunitario del ICBF.

 8

Ejercicio 3: Aplicación de las reglas de la inferencia lógica

 Argumento: Si Rafael va al gimnasio entonces Rafael tiene un cuerpo tonificado.

Rafael va al gimnasio.

 Conclusión: Rafael tiene un cuerpo tonificado

 Ley de inferencia aplicada: Modus Ponens (MP)

 Lenguaje simbólico:

p→q
p
_________
q
 9

Ejercicio 4: Problemas de aplicación

 Expresión simbólica: {(𝒑 → ¬𝒓) ∧ (¬𝒒 → 𝒑) ∧ (𝒑 ∧ ¬𝒒)} → (𝒑 ∧ ¬𝒓)

Premisas:

P1: 𝒑 → ¬𝒓
P2: ¬𝒒 → 𝒑
P3: 𝒑 ∧ ¬𝒒
Conclusión: 𝒑 ∧ ¬r

 Proposiciones simples:

p: Ana se graduó como técnico en primera infancia del SENA

q: Ana cumplió con las horas sociales del técnico

r: Ana trabajo en un hogar comunitario del ICBF

 Lenguaje natural

si Ana se graduó como técnico en primera infancia del SENA entonces Ana no trabajo

en un hogar comunitario del ICBF. Ana no cumplió con las horas sociales del técnico

entonces, Ana se graduó como técnico en primera infancia del SENA. Ana se graduó

como técnico en primera infancia del SENA y Ana no cumplió con las horas sociales

del técnico. Por lo tanto, Ana se graduó como técnico en primera infancia del SENA y

Ana no trabajo en un hogar comunitario del ICBF.

 10

 Tabla de verdad manual

p q r ¬𝒒 ¬𝒓 (𝒑 → (¬𝒒 → (𝒑 ∧ (𝒑 → ¬𝒓) ∧ {(𝒑 → ¬𝒓) ∧ (¬𝒒 → (𝒑 ∧ {(𝒑 → ¬𝒓) ∧ (¬𝒒 → 𝒑) ∧

¬𝒓) 𝒑) ¬𝒒) (¬𝒒 → 𝒑) 𝒑) ∧ (𝒑 ∧ ¬𝒒)} ¬𝒓) (𝒑 ∧ ¬𝒒)} → (𝒑 ∧ ¬𝒓)
V V V F F F V F F F F V
V V F F V V V F V F V V
V F V V F F V V F F F V
F V V F F V V F V F F V
V F F V V V V V V V V V
F V F F V V V F V F F V
F F V V F V F F F F F V
F F F V V V F F F F F V
 11

 Tabla de verdad Simulador UNAD

 Demostración de la validez del argumento mediante la Leyes de Inferencia

P1: 𝒑 → ¬𝒓
P2: ¬𝒒 → 𝒑
P3: 𝒑 ∧ ¬𝒒

P4: p ……. Simplificación (S) P3

P5: ¬𝒓 ……...Modus Ponens (MP) P1 y P4
P6: 𝒑 ∧ ¬𝒒 …… Adjunción (A) P4 y P5
 12

Conclusiones

Fue necesario hacer la respectiva lectura de los referentes bibliográficos de la unidad 1 para

lograr entender y dar solución a los 4 ejercicios propuestos en la tarea 1.

Puedo concluir que para demostrar la validez de los argumentos es necesario conocer las

tablas de verdad teniendo en cuenta los nexos lógicos que nos muestran los lenguajes simbólicos

de las proposiciones e identificando cuales son las reglas de inferencia de lógica para lograr dar

solución a los problemas con su aplicación.

 13

Referencias

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

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. 28-37).

México, D.F, Larousse - Grupo Editorial Patria. Recuperado de https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=39