1

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

Pepita Pérez – Código 1234567 (Ejemplo nombre del estudiante)

Pensamiento Lógico y Matemático 200611

Grupo xx (Ejemplo grupo)

Director-Tutor

Lupita Fernandez (Ejemplo nombre del tutor)

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 2

introducción

A través de este trabajo ayuda a la realización de ejercicios como aplicar las tablas de

verdad para validar argumentos que nos ayudan en nuestra vida cotidiana y profesional.

Consiste en una función que toma permisas, analiza su sintaxis y establece una conclusión

tipos de razonamiento lógico y métodos para probar validez de argumentos.

Un argumento es una secuencia o serie de preposiciones en la que ellas dos da el resultado

sin importar sin el argumento es verdadero falso puesto que lo importante será destacar la

coherencia lógica o formal y que existen argumentos en los que se van obteniendo conclusiones

enlazadas que son resultado de la aplicación de leyes anteriores.

 3

Objetivos

General

Analizar cada tema propuesto en la guía e identificar los documentos mas beneficiosos

para un buen entendimiento reconociendo la importancia de como crear las tablas de verdad.

Específicos

 Identificar y conocer los tipos de razonamientos lógicos

 Identificar y conocer los métodos los métodos para probar validez de los

argumentos

 Generar en el simulador de la UNAD tablas de verdad

 4

Letra “B”

Ejercicio 1: Proposiciones y tablas de verdad

p: El calentamiento global es un gran problema de la humanidad.

r: El calentamiento global genera desastres naturales

s: La descarbonización de las energías ayuda a mitigar el

calentamiento global

(𝑝 ᴧ r) → s

 La proposición compuesta en lenguaje natural sería: "Si el calentamiento global es un gran

problema de la humanidad y genera desastres naturales, entonces la descarbonización de

las energías ayuda a mitigar el calentamiento global."

Tabla manual
p R S (𝑝 ᴧ r) (𝑝 ᴧ r) → s

v v v v v

v v f v f

v f v f v

v f f f v

f v v f v

f v f f v

f f v f v

f f f f v
 5

 Simulador UNAD

En este caso mi tabla de verdad se clasifica como contingencia ya que el resultado tiene valores

falsos y verdaderos.

Link del video: https://youtu.be/z7Ay-GIIPXQ

Link video You Tube

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

Si un estudiante de la Unad participa oportunamente en los foros, entonces se apropia del

conocimiento. Si el estudiante se apropia del conocimiento, entonces el estudiante aprueba el

curso

a. Lenguaje simbólico:

p: El estudiante de la UNAD participa oportunamente en los foros.

q: El estudiante se apropia del conocimiento.

 6

r: El estudiante aprueba el curso.

b. Ley de inferencia aplicada:

(p → q) ∧ (q → r)

c. Conclusión:

Si el estudiante de la Unad participa oportunamente en los foros, entonces aprueba el curso.

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

Expresión simbólica

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

P1: p v q Conclusión: s v p

P2: p→ r

P3: q→s

P4: ~ r

Premisa Ley de inferencia aplicada Premisas usadas

P5: r v s Disyunción P2 (p→ r), P3 (q→s)
P6: s Simplificación P5 (r v s)
P7: p v s Disyunción P1 (p v q), P6 (s)
 7

 Tabla de verdad:
 8

Ejercicio 4: Problemas de aplicación.

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

P1: (p →r)

P2: (~q ᴧ r)

P3: (~r ∨ q)

Conclusión: ~p

 Proposiciones simples:

1.Sujeto: "El estudiante de matemáticas de la universidad", Cópula: "entiende", Complemento

predicado: "el concepto de implicación".

2.Sujeto: "Algunos estudiantes", Cópula: "tienen", Complemento predicado: "buen rendimiento

académico".

3.Sujeto: "Los profesores de lógica", Cópula: "enseñan", Complemento predicado: "la ley de

contradicción".

4.Sujeto: "Los problemas de cálculo", Cópula: "requieren", Complemento predicado: "soluciones

precisas".

5.Sujeto: "Las demostraciones lógicas", Cópula: "necesitan", Complemento predicado: "premisas

válidas".

6.Sujeto: "La lógica proposicional", Cópula: "permite", Complemento predicado: "representar

argumentos complejos".
 9

7.Sujeto: "La inferencia lógica", Cópula: "es", Complemento predicado: "una herramienta para

validar argumentos".

 Expresión simbólica traducida al lenguaje natural:

Si el estudiante de matemáticas de la universidad entiende el concepto de implicación, algunos

estudiantes tienen buen rendimiento académico, los profesores de lógica enseñan la ley de

contradicción y los problemas de cálculo requieren soluciones precisas, entonces las

demostraciones lógicas necesitan premisas válidas, la lógica proposicional permite representar

argumentos complejos y la inferencia lógica es una herramienta para validar argumentos, entonces

el estudiante no entenderá algunos conceptos.

 Demostración de la validez del argumento mediante las leyes de la inferencia lógica:

Usando la tabla de verdad, se puede observar que en todas las filas donde las premisas (P1, P2, P3)

son verdaderas, la conclusión (~p) también es verdadera. Por lo tanto, el argumento es válido, ya

que cumple con las leyes de la inferencia lógica.

 10

Conclusiones

 Con la realización del presente trabajo pude adquirir conocimientos básicos del

pensamiento lógico matemático luego de realizar las guías, pude comprender con mayor

claridad del tema expuesto tabla de verdad.

 Pude darme cuenta como la lógica se aplica mediante los diversos problemas que se

plantean y que e4stan muchas veces relacionados con lo que sucede en nuestra vida diaria

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)

• Vargas, E., Núñez, L. A. (2019). Lógica matemática y teoría de conjuntos. Universidad

Abierta para Adultos (UAPA). (pp. 19-36).