Tarea 1 - PLM - Daniela

1
Curso de pensamiento lógico y matemático
Tarea 1. Métodos para probar la validez de argumentos
Presentado por: Daniela Andrea Gómez Hernández
CC. 1066865674
Tutora: Diana Katherine Ospina García
Grupo: 200611_339
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Sociales Artes y Humanidades- ECSAH
Programa de Psicología
2023
2
Introducción
En el siguiente trabajo se presentan la solución de los diferentes ejercicios propuestos en l
guía de trabajo los cuales se desarrollaron mediante videos explicativos propuestos por parte del
tutor además del diferente material de apoyo como las guías de trabajo para la fácil comprensión
de cada uno de los ejercicios.

3
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)
Desarrollo
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
4
P q r qɅr p → (q Ʌ r)
V V V V V
V V F F F
V F V F F
V F F F F
F V V V V
F V F F V
F F V F V
F F F F V
Contingencia
5
Ejercicio 2: Aplicación de la lógica fundamental
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 proposiciones simples que intervienen en
el argumento.
➢ Identificar los conectores que intervienen en el argumento.
➢ Construir el lenguaje simbólico correspondiente al argumento.
➢ Determinar si el argumento es una tautología, contradicción o
contingencia a través del simulador de tablas de verdad de la
UNAD. (Ver Anexo 2 – Guía para el desarrollo de la tarea 1
(ejercicios ejemplo).
6
Desarrollo
P: Los estudiantes están leyendo un libro
q: los maestros están preparando clase
r: los padres están en una reunión
 Conectores:
 O = V disyunción
 Y = Ʌ conjunción
 No = - negación
 Entonces = Condicional
(pvq)Ʌ(-pvr) (qvr)
Tautología
7
8
Ejercicio 3: Demostración de un argumento utilizando las reglas de interferencia lógica
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
~p
P1: P → ~q
P2: q
Conclusión: ~p
Ley utilizada: Modus tolendo tollens
A partir del argumento en lenguaje simbólico deberá dar respuesta a los
siguientes ítems:
➢ Deducir las premisas (P1, P2, P…) y la conclusión.
➢ Defina la ley de inferencia que representa el lenguaje simbólico
dado.
9
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)
A partir de la expresión simbólica seleccionada, el estudiante deberá:
➢ Definir las proposiciones simples, tendrá la libertad de definirlas
bajo una descripción basada en un contexto académico o social.
Las proposiciones simples deben contener 1. Sujeto, 2. Verbo
y 3. Predicado. Ejemplo:
• p: Patricia está matriculada en Psicología en la UNAD
• q: La UNAD forma profesionales idóneos en todos sus
programas.
• r: El mayor problema en mi comunidad es la falta de agua
potable.
➢ Remplazar las variables expresadas simbólicamente y llevarlas al
lenguaje natural. Las proposiciones simples deben ser de autoría
de cada estudiante, por lo que de encontrar proposiciones iguales
entre estudiantes se considerará como copia y se tomaran las
medidas correctivas estipuladas por la UNAD (Rubrica).

10
➢ Complete la tabla de demostración de la validez del argumento
mediante leyes de inferencia lógica. (Un argumento será válido
cuando su valor de verdad es una tautología)
Desarrollo
A. [p ᴧ (q v ~p) ᴧ (q →r)] → (p ᴧ r)
P: juan trabaja como enfermero ene l hospital
q: juan trabaja de lunes a sábado en el hospital municipal
r: juan realiza rondas cada dos horas
Lenguaje natural: Juan trabaja como enfermero en el hospital municipal y juan trabaja
de lunes a sábado como enfermero en el hospital municipal o no realiza rondas cada 2 horas. Y si
juan trabaja de lunes a sábado en el hospital municipal entonces juan realiza rondas cada dos
horas. En conclusión, juan trabaja como enfermero en el hospital municipal y realiza rondas cada
dos horas.
11
Demostración:
P1: p Demostración
P2: q v ~p Premisas usadas
P3: q →r
Premisas Ley aplicada Premisas usadas
P4: q Modus tollendo tollens P1 / P2
(MTT)
P5: r Modus ponendo ponnens P3 / P4
(MPP)
P6: (p ᴧ r) Conjunción P3 / P4
12
Objetivos
General
1. Analizar y comprender los ejemplos para la realización de los diferentes ejercicios
Específicos
2. Estudiar cada uno de los diferentes puntos para lograr su comprensión y realización
correcta.
13
Conclusiones
Como hemos podido comprobar con el trabajo a entregar se pudo aprender mediante videos y
asesorías en línea por parte del tutor acerca de los diferentes métodos para probar la validez de
los argumentos haciendo uso de diferentes expresiones simbólicas para llegar a un resultado
certero y concluso.

Tarea 1 - PLM - Daniela

Cargado por

Copyright:

Formatos disponibles

Tarea 1 - PLM - Daniela

Cargado por

Información del documento

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

Tarea 1 - PLM - Daniela

Cargado por

Copyright:

Formatos disponibles

1

Curso de pensamiento lógico y matemático

Tarea 1. Métodos para probar la validez de argumentos

Presentado por: Daniela Andrea Gómez Hernández

Tutora: Diana Katherine Ospina García

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Sociales Artes y Humanidades- ECSAH

En el siguiente trabajo se presentan la solución de los diferentes ejercicios propuestos en l

de cada uno de los ejercicios.

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.

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

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 proposiciones simples que intervienen en

➢ Identificar los conectores que intervienen en el argumento.

➢ Construir el lenguaje simbólico correspondiente al argumento.

➢ Determinar si el argumento es una tautología, contradicción o

contingencia a través del simulador de tablas de verdad de la

UNAD. (Ver Anexo 2 – Guía para el desarrollo de la tarea 1

P: Los estudiantes están leyendo un libro

q: los maestros están preparando clase

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

Ejercicio 3: Demostración de un argumento utilizando las reglas de interferencia lógica

Descripción del ejercicio:

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

la demostración del argumento.

Ley utilizada: Modus tolendo tollens

A partir del argumento en lenguaje simbólico deberá dar respuesta a los

➢ Deducir las premisas (P1, P2, P…) y la conclusión.

➢ Defina la ley de inferencia que representa el lenguaje simbólico

Ejercicio 4: Problemas de aplicación

Descripción del ejercicio:

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)

A partir de la expresión simbólica seleccionada, el estudiante deberá:

➢ Definir las proposiciones simples, tendrá la libertad de definirlas

bajo una descripción basada en un contexto académico o social.

Las proposiciones simples deben contener 1. Sujeto, 2. Verbo

• p: Patricia está matriculada en Psicología en la UNAD

• q: La UNAD forma profesionales idóneos en todos sus

• r: El mayor problema en mi comunidad es la falta de agua

➢ Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural. Las proposiciones simples deben ser de autoría

de cada estudiante, por lo que de encontrar proposiciones iguales

entre estudiantes se considerará como copia y se tomaran las

medidas correctivas estipuladas por la UNAD (Rubrica).

➢ Complete la tabla de demostración de la validez del argumento