1

Unidad 1 – Tarea 1 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

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

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:

E.

r: Los algoritmos de aprendizaje automático se implementan con frecuencia en lenguajes como

Python.

s: Los algoritmos se benefician de los lenguajes de programación de alto nivel para el desarrollo

de la IA.

t: Python es altamente utilizado para el análisis minucioso de datos.

r ∧ (s → ~t)

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.

Los algoritmos de aprendizaje automático se implementan con frecuencia en lenguajes como

Python y Los algoritmos se benefician de los lenguajes de programación de alto nivel para el

desarrollo de la IA entonces Python no es altamente utilizado para el análisis minucioso de datos.

➢ 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.

 5

r s t ~r ~s ~t (s → ~t) r ∧ (s → ~t)

v v v f f f f f

v v f f f v v v

v f v f v f v v

v f f f v v v v

f v v v f f f f

f v f v f v v f

f f v v v f v f

f f f v v v v f

Es una Contingencia

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

 6

Link vídeo explicativo ejercicio 1: xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

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

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

E. Si las TIC son fundamentales para el procesamiento de datos en aplicaciones de IA, entonces

las TIC permiten la recopilación de datos esenciales para el entrenamiento de modelos, si y solo si,

las TIC permiten la recopilación de datos esenciales para el entrenamiento de modelos Y las TIC

son utilizadas en la industria para aumentar la eficiencia.

➢ Definir cuáles son las proposiciones simples que intervienen en el argumento.

p: las TIC son fundamentales para el procesamiento de datos en aplicaciones de IA

q: las TIC permiten la recopilación de datos esenciales para el entrenamiento de modelos

 7

r: las TIC son utilizadas en la industria para aumentar la eficiencia.

➢ Identificar los conectores que intervienen en el argumento.

Entonces ( →) : Condicional

Si y solo si (↔): Bicondicional

Y ( ^ ): Conjución

➢ Construir el lenguaje simbólico correspondiente al argumento.

(p→ q ) ↔ (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.

 8

Es una Contingencia

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

E. Expresión simbólica

[(p∨ r ) ∧ (p → t) ∧ (r → s) ] → ( t ∨ 𝑠)

P1 [(p∨ r )

P2 (p → t)

P3 (r → s)

Conclusión ( t ∨ 𝑠)

Ley de Inferencia Silogismo Contructivo

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:

E. Expresión simbólica:

[(p→∼q) ∧ (∼q →r) ∧ (q ∧ ∼r)]→ (∼p ˅ q)

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.
 9

p: Los alumnos tienen inducción para conocer la plataforma

q: Los alumnos cuentan con herramientas informáticas para desarrollar las actividades

r: Los alumnos realizan sus actividades eficazmente

➢ Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

[(p→∼q) ∧ (∼q →r) ∧ (q ∧ ∼r)]→ (∼p ˅ q)

Los alumnos tienen inducción para conocer la plataforma entonces Los alumnos no cuentan con

herramientas informáticas para desarrollar las actividades y Los alumnos no cuentan con

herramientas informáticas para desarrollar las actividades entonces Los alumnos realizan sus

actividades eficazmente y Los alumnos cuentan con herramientas informáticas para desarrollar las

actividades y Los alumnos no realizan sus actividades eficazmente entonces Los alumnos no

tienen inducción para conocer la plataforma o Los alumnos cuentan con herramientas informáticas

para desarrollar las actividades.

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

Demostración

P1: (p→∼q)

P2: (∼q →r) Premisas Usadas

P3: (q ∧ ~r)
 10

Premisas Ley Aplicada Premisas Usadas

P4: (p →r) SILOGISMO HIPOTETICO P1, P2

P5: ~r LEY DE SIMPLIFICACION P3

P6: ~p MODUS TOLLENDO TONES P4, P5

P7: ~p v q LEY DE ADICCIÓN P6

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.

 11

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.

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