1

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

Danier Steven diaz gomez – Código 1058667136

Pensamiento Lógico y Matemático 200611

Grupo 200611_707

Director-Tutor

John freddy ruano

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 2

Introducción

En el archivo, encontrarás diferentes ejercicios numerados, cada uno con su enunciado y

su solución paso a paso. Algunos ejercicios utilizan lenguaje simbólico y tablas de verdad para

demostrar la validez de los argumentos, mientras que otros aplican leyes de inferencia para llegar

a conclusiones lógicas

En resumen, tanto la tabla de verdad como las leyes de inferencia son herramientas

valiosas en la lógica para evaluar la validez de los argumentos y derivar conclusiones lógicas. Su

uso adecuado puede ayudar a fortalecer el razonamiento lógico y la capacidad de análisis

 3

Objetivos

General

Adquirir conocimiento normas APA

Específicos

Diseñar portada con norma APA.

Diseñar contenido con norma APA

 4

Ejercicio 1: Proposiciones y tablas de verdad

Espacio para solución del ejercicio 1

E. p: Los semilleros de investigación de la UNAD desarrollan el pensamiento crítico.

q: Un semillero de investigación dinamiza la adquisición de competencias investigativas

(p ∨q) ∧ (~p → q)

LENGUAJE NATURAL:

(: Los semilleros de investigación de la UNAD desarrollan el pensamiento crítico, O Un semillero

de investigación dinamiza la adquisición de competencias investigativas), Y . (NO Los semilleros

de investigación de la UNAD desarrollan el pensamiento crítico, ENTONCES Un semillero de

investigación dinamiza la adquisición de competencias investigativas).

TABLA DE VERDAD MANUAL:

(p ∨q) ∧ (~p → q) 2𝑛2 = 4

p q ∼p (𝑝 𝑣 𝑞) (~𝑝 → (p
𝑞) ∨q) ∧ (~p
→ q)
V V F V V V
V F F V V V
F V V V V V
F F V F F F
Se clasifica como contingencia
 5

TABLA DE CONTENIDO SIMULADOR UNAD:

Link vídeo explicativo ejercicio 1:

https://drive.google.com/file/d/1GLevfjKN7tJQJM6eYYzH9J9n3RQ7TPZ8/view?usp=drive

sdk

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

E. Si un estudiante aplica al programa jóvenes en acción entonces no cuenta con título

profesional universitario. Un estudiante aplica al programa jóvenes en acción.

P: un estudiante aplica al programa jóvenes en acción

Q: no cuenta con título profesional universitario

: Un estudiante aplica al programa jóvenes en acción.

a. Lenguaje simbólico:
P1: (p→ 𝑞)

P2: ~𝑞

∴ (~𝑝)
 6

b. Ley de inferencia aplicada: modus tollens MT

c. Conclusión: un estudiante no aplica al programa de jóvenes en acción

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

E. Expresión

[(~p→r) ᴧ(q→s) ᴧ (~p ᴧ ~s)]→ ~q ᴧ r

P1: ~p→r ᴧ ~p Conclusión: (~q) ᴧ r

P2: q→s ᴧ ~s

P3: ~p ᴧ ~s

Demostración

Premisa Premisa Ley de Premisas usadas

inferencia aplicada
P4: ~p Modus tolento tollens (TT) 1
P5: ~s Modus tolento 2
tollens (TT)
P6: r Modus ponendo 1
ponens (PP)
P7: ~q Modus tollendo 2
tollens (TT)
P9: (~q ᴧ r) Ley de adjunción 7,6
(A)
 7

TABLA VERDAD MEDIANTE EL SIMULADOR DE LOGICA UNAD:

 8

Ejercicio 4: Problemas de aplicación.

[(𝒑 ∧ 𝒓) ∧ (𝒒 ∨ ¬𝒓) ∧ (𝒑 → 𝒒)] → (𝒒)

P1: (𝑝 ∧ 𝒓)

P2: (𝒒 ∨ ¬𝒓)

P3: (𝑝 → 𝑞)

Conclusión: q

p: stiven es estudiante de PLM

q: stiven asiste a los CIPAS

r: stiven sube aportes al foro

lenguaje natural:

[(𝒑 ∧ 𝒓) ∧ (𝒒 ∨ ¬𝒓) ∧ (𝒑 → 𝒒)] → (𝒒)

Si stiven es estudiante de PLM Y sube aportes al foro . stiven asiste a los CIPAS O no sube
aportes al foro. stiven es estudiante de PLM ENTONCES stiven asiste a los CIPA, POR
TANTO stiven asiste a los CIPAS
 9

TABLA MANUAL:

p q -r r (𝒑 (𝒒 (𝒑 [(𝒑 ∧ 𝒓) ∧ [(𝒑 ∧ 𝒓) ∧
∧ 𝒓) ∨ ¬𝒓) → 𝒒) (𝒒 ∨ ¬𝒓) ∧ (𝒑 → (𝒒 ∨ ¬𝒓) ∧ (𝒑 →
𝒒)] 𝒒)] → (𝒒)

V V F V V V V V V
V V V F F V V F V
V F F V V F F F V
V F V F F V F F V
F V F V F V F F V
F V V F F V F F V
F F F V F F F F V
F F V F F V F F V
 10

DEMOSTRACION:

E. Expresión simbólica:

[(𝒑 ∧ 𝒓) ∧ (𝒒 ∨ ¬𝒓) ∧ (𝒑 → 𝒒)] → (𝒒)

P1: (𝑝 ∧ 𝒓)

P2: (𝒒 ∨ ¬𝒓)

P3: (𝑝 → 𝑞)

P4: P SIMPLIFICACION P1

P5: q MODUS PONENDO PONENS P3 Y P4

P6: p3 modus tollendo ponens p4

Conclusión: q
 11

Conclusiones

Tabla de verdad La tabla de verdad es una herramienta útil para analizar y evaluar la

validez de un argumento lógico. Al construir una tabla de verdad, se pueden examinar todas las

posibles combinaciones de valores de verdad de las proposiciones involucradas y determinar si el

argumento es válido o no. La conclusión obtenida a través de la tabla de verdad será que el

argumento es válido si todas las filas de la tabla muestran que la conclusión es verdadera cuando

todas las premisas son verdaderas.

Las leyes de inferencia son reglas lógicas que permiten derivar conclusiones válidas a

partir de premisas dadas. Al aplicar estas leyes correctamente, se puede llegar a conclusiones

lógicas de manera deductiva. Algunas leyes de inferencia comunes incluyen el modus ponens, el

modus tollens, la simplificación, la conjunción, la adición, entre otras en conclusión es válida si se

sigue correctamente la regla lógica correspondiente

 12

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/41333?page=10

http://logicaunad.com/jtruth/

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

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/51977?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/176645?page=19