1

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

Pensamiento Lógico y Matemático

Grupo

Director-Tutor

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias de la educación, Licenciatura en pedagogía infantil.

2023
 2

Introducción

Se interpretarán adecuadamente las tablas de verdad y reglas de inferencia, con el método para

probar la validez de argumentos, con el fin de resolver los ejercicios planteados en el programa.

Se hará una consulta de las proposiciones el cual será de gran ayuda en el momento de interpretar

y dar soluciones al ítem.

Se deberán resolver los ejercicios del punto 2, con respecto a la aplicación de la lógica

fundamental, interpretando el texto propuesto en el ejercicio y dando solución a los interrogantes

en el punto. Se hará la demostración de un argumento usando las reglas de la inferencia lógica,

identificando y señalando las leyes de inferencia y las premisas escogidas en cada uno de los

puntos para la solución del argumento. También se dará solución al punto 4. Donde se debe

encontrar la expresión simbólica, las premisas y la conclusión de un argumento, teniendo la

libertad de escoger una preposición simple.

 3

Objetivos

General

Se interpretarán adecuadamente las tablas de verdad y reglas de inferencia, con el método

para probar la validez de argumentos.

Específicos

 Se consultarán las proposiciones y tablas de verdad para desarrollar los ejercicios

propuestos.

 Se resolverán los ejercicios del punto 2, con respecto a la aplicación de la lógica

fundamental.

 Se hará la demostración de un argumento usando las reglas de la inferencia lógica.

 Se resolverán los ejercicios del punto 4, Donde se debe encontrar la expresión

simbólica, las premisas y la conclusión de un argumento.

 4

Ejercicio 1: Proposiciones y tablas de verdad

Descripción del ejercicio:

A continuación, encontrará las proposiciones simples y el lenguaje simbólico para el desarrollo

del ejercicio 1: A.

p: El trabajo inteligente requiere de una planeación efectiva.

q: El trabajo necesita un equipo que utilice estrategias innovadoras.

r: El trabajo inteligente utiliza herramientas tecnológicas avanzadas.

p → (q Ʌ r)

Lenguaje natural de la proposición compuesta:

Si “El trabajo inteligente requiere de una planeación efectiva,” entonces “El trabajo necesita un

equipo que utilice estrategias innovadoras,” y “El trabajo inteligente utiliza herramientas

tecnológicas avanzadas”.

Tabla de verdad.

p → (q Ʌ r)

p → (q Ʌ r)
implica
p q r (q Ʌ r)

1 V V V V V
2 V V F F F
3 V F V F F
4 V F F F F
5 F V V V V
6 F V F F V
7 F F V F V
8 F F F F V

Es una contingencia.
 5

Tabla de verdad simulador

Esta tabla de verdad se generó en el simulador virtual de la UNAD.

Link vídeo explicativo ejercicio 1: https://photos.app.goo.gl/ULHxDXussvqY9UT69

Ejercicio 2: Aplicación de la lógica fundamental

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

A. "'Los estudiantes están leyendo un libro' o 'los maestros están preparando la clase', y 'los

estudiantes no están leyendo un libro' o 'los padres están en una reunión'. Entonces 'los maestros

están preparando la clase' o 'los padres están en una reunión'."

Definir cuáles son las premisas que intervienen en el argumento.

p: Los estudiantes están leyendo un libro

 6

q: Los maestros están preparando la clase

r: Los padres están en una reunión

Identificar los conectores que intervienen en el argumento.

Los conectores del argumento son: conjunción (∧), negación (~), disyunción inclusiva (v) y

condicional (→).

Construya el lenguaje simbólico correspondiente al argumento.

((p v q) ∧ (~p v r)) → (q v r)

Determine si el argumento es una tautología, contradicción o contingencia a través del

simulador de la UNAD.

Esta tabla de verdad se generó en el simulador virtual de la UNAD y da como resultado una

tautología.

Esta tabla de verdad se generó en el simulador virtual de la UNAD y da como resultado una

tautología.
 7

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

Descripción del ejercicio:

A continuación, encontrará un argumento para el desarrollo del ejercicio 3, usted deberá

identificar e indicar las leyes de inferencia y las premisas utilizadas en cada uno de los pasos para

la demostración del argumento.

A. Expresión simbólica

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

P1: (p → ~q)

P2: q

Conclusión: ~p

Ley utilizada: Modus Tollendo Tollens (TT)

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: [p ᴧ (q v ~p) ᴧ (q →r)] → (p ᴧ r)

Definición de Proposiciones simples:

p: Andrea es enfermera de la clínica los Nogales.

q: Andrea asiste todos los días a ver a sus pacientes.

r: Andrea dona medicamentos a niños de bajo recursos.

Lenguaje natural:

Andrea es enfermera de la clínica los Nogales. Andrea asiste todos los días a ver a sus pacientes O

Andrea NO es enfermera de la clínica los Nogales. Si Andrea asiste todos los días a ver a sus
 8

pacientes, ENTONCES Andrea dona medicamentos a niños de bajo recursos. POR LO TANTO,

Andrea es enfermera de la clínica los Nogales Y Andrea dona medicamentos a niños de bajo

recursos.

Completar tabla de demostración de validez de argumento mediante leyes de inferencia

lógica:

Demostración

P1: p Premisas dadas

P2: (q v ~p)

P3: (q →r)

Premisas Ley aplicada Premisas usadas

P4: q TOLLENDO PONES (TP) P1, P2

P5: r MODUS PONNENDO P3, P4

PONNENS (MPP)

P6: (p ᴧ r) ADJUNCIÓN (A) P1, P5

 9

Conclusiones

Se interpretó adecuadamente las tablas de verdad y reglas de inferencia, con el método

para probar la validez de argumentos. Y se consultó las proposiciones y tablas de verdad para el

desarrollo de los ejercicios propuestos. La cuál se resolvió los ejercicios del punto 2, con respecto

a la aplicación de la lógica fundamental. Donde se realizó la demostración de un argumento

usando las reglas de la inferencia lógica. Y también se resolvió los ejercicios del punto 4, Donde

se encontró la expresión simbólica, las premisas y la conclusión de un argumento.

 10

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). https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59

Ospina G. D. Pensamiento lógico y matemático, Tarea 1: Material de Apoyo

https://padlet.com/MonitoriaPLM1604/tarea-1-material-de-apoyo-8o3zh3jjl2p1iu2t

Castaño, C. & García, A., R. (2022). Aplicación de las reglas de inferencia lógica.

[Objeto_virtual_de_Informacion_OVI]. Repositorio Institucional UNAD.

https://repository.unad.edu.co/handle/10596/52741

Castaño, C. (2022). Tablas de verdad. [Objeto_virtual_de_aprendizaje_OVA]. Repositorio

institucional UNAD. https://repository.unad.edu.co/handle/10596/52744