1

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

Jafet Antonio Correa Mena – Código 11.615.316

Pensamiento Lógico y Matemático 200611

Grupo: 929

Director-Tutor

Hugo López Aranda

Universidad Nacional Abierta y a Distancia - UNAD

21/09/2023
 2

Introducción

La introducción es un texto muy sencillo y, a la vez, claro, que presenta el tema general que se va

a desarrollar en el trabajo. Será tan larga o corta como lo sea el trabajo (si el trabajo es corto, la

introducción no puede ser muy larga pero tampoco puede reducirse a dos líneas...). En la

introducción se puede explicar el tema, por qué se hace el trabajo, cómo está pensado, el método

que se siguió y el alcance de este.

En la introducción no se ponen citas ni datos. El título y el texto van desde el inicio de la

página, no debe centrarse.

Se recomienda dejarla para el final, cuando el trabajo ya esté hecho, con el fin de que

recoja lo importante del proceso que se ha seguido.

Como todo el trabajo, la introducción debe ir en tercera persona y debe alinearse al lado

derecho, sin justificación y con sangría en la primera línea.

 3

Objetivos

General

Adquirir conocimiento normas APA

Específicos

Diseñar portada con norma APA.

Diseñar contenido con norma APA

 4

Apreciado estudiante, a continuación encontrará los espacios designados para cada ejercicio,

usted debe desarrollar el literal seleccionado en el foro, tenga en cuenta todas las

indicaciones dadas en el Anexo 2 – Guía para el desarrollo de la tarea 1 (ejercicios ejemplo),

donde hay un ejemplo de cada ejercicio con una solución a los ítem solicitados.

Ejercicio 1: Proposiciones y tablas de verdad

Espacio para solución 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)

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

 Escribir la proposición compuesta del leguaje simbólico en un lenguaje

natural.

R/:

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

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico y

determinar si el resultado es una tautología, contingencia o contradicción.

R/:
 5

p q r p → (q Ʌ r)

V V V V

V V F F

V F V F

V F F F

F V V V

F V F V

F F V V

F F F V

Contingencia. Es una proposición que da valores tantos falsos como verdaderos.

Por lo tanto, es una Contingencia

 Generar la tabla de verdad a través del simulador Lógica UNAD.

R/:
 6

 Realizar un vídeo de 5 minutos máximo, tenga en cuenta las siguientes

recomendaciones:

1. El estudiante hace su presentación personal básica en inglés (Nombre, edad, ciudad donde vive
y programa en donde que está matriculado) y explica de forma detallada cómo realizó el ejercicio
1 de su letra escogida (en español).
2. El estudiante debe aparecer en la grabación de frente y sin ningún filtro. Luego explica en
pantalla compartida cómo realizó el ejercicio.
3. Para la realización del vídeo puede usar la cámara de un celular, la cámara de una computadora

u otra alternativa que se le facilite. También podrá usar la herramienta TEAMS para la realización

de la grabación. Deberá subir el vídeo a una plataforma de vídeos (por ejemplo: YouTube, Loom,

OBS, Clipchamp, Screencast, etc) y compartir el enlace sin restricción al tutor asignado (puede

configurar en modo oculto si es de su elección)

Link vídeo explicativo ejercicio 1: xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

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

 7

Espacio para solución 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.

R/:

1. Los estudiantes están leyendo un libro

2. Los maestros están preparando la clase

3. Los estudiantes no están leyendo un libro

4. Los padres están en una reunión

Identificar los conectores que intervienen en el argumento.

R/:

"y", "o", "entonces", "si y solo si" (^, ∨, ↔,

→, ¬)

Construir el lenguaje simbólico correspondiente al argumento.

R/:

p: Los estudiantes están leyendo un libro

q: Los maestros están preparando la clase

¬p: Los estudiantes no están leyendo un libro

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

 8

p ∧ q ∨ ¬p ∧ r → q ∨ r

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

simulador de tablas de verdad de la UNAD.

R/:

Una “tautología” es una proposición cuya tabla de verdad es siempre verdadera.

Por lo tanto, es una TAUTOLOGÍA

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

Espacio para solución del ejercicio 3

Descripción del ejercicio:

 9

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. Expression simbólica

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

P1: (p → ~q) ᴧq

P2: → ~p

Conclusión:

Ley utilizada: Modus tollens

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

 Defina la ley de inferencia que representa el lenguaje simbólico dado.

R/:

Modus tollens

Ejercicio 4: Problemas de aplicación.

Espacio para solución del ejercicio 4

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)
Demostración
P1: p
P2: (q v ~p)
Premisas dadas
P3: (q →r)

Premisas Ley aplicada Premisas usadas

P1, P5
 10

P4: q P1, P2

P5: r MODUS PONNENDO

PONNENS (MPP)
P6: (p ᴧ r) P1, P5

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 considerara como copia y se tomaran las

medidas correctivas estipuladas por la UNAD (Rubrica).

➢ 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)
 11

Conclusiones

Todos los trabajos académicos deben tener una o más conclusiones, eso no puede faltar. Se trata

de presentar en unas ideas cortas lo que se ha expresado a lo largo del trabajo. Una clave a la hora

de hacer una conclusión sería: ¿qué quiero que retenga la persona que lea el trabajo? Otro aspecto

importante es que debe haber una armonía entre la introducción (en la que se plantea lo que va a

hacer en el trabajo y lo que se ha desarrollado en el contenido. No puede haber divorcio entre

estas partes.

En las conclusiones no hay que agregar datos ni citas bibliográficas, lo único que va es el

resumen condensado de lo que hemos hecho a lo largo del trabajo. ¿Cuántas conclusiones debe

llevar un trabajo? Si el trabajo es muy largo, de 200 o 300 páginas, serán de 10 a 15 conclusiones.

Si el trabajo es corto, dos o tres conclusiones son suficientes.

En el aspecto formal, las conclusiones ni se numeran ni llevan viñetas. Solo se separan por

el punto aparte y por el tabulado de la primera línea, como en estos párrafos.

 12

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