1

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

Brayan Sebastian Sabogal Bernal – Código 200611_1282

Pensamiento Lógico y Matemático 200611

Grupo 1282

Tutor

RAFAEL PINTO CASTELLANOS

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 2

Introducción

En este trabajo abordaremos tema como las proposiciones simples, el lenguaje simbólico, el

manejo de la tabla de verdad, con el fin de comprender adecuadamente los temas.

 3

Objetivos

General

- Interpretar adecuadamente las tablas de verdad y reglas de inferencia para probar la

validez de argumentos.

Específicos:

- Analizar el texto de la actividad para resolver la tabla de la verdad.

- Desarrollar el lenguaje simbólico correspondiente al argumento.

 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 al ítem solicitados.

Tabla 1 Distribución ejercicios Tarea 1

1. Nombre del estudiante 2. Grupo de ejercicios a desarrollar

Jorge Arvey Alarcon Ramos El estudiante desarrolla el ejercicio A en todos

los grupos de ejercicios.

Damaris Estefani Balanta Escarraga El estudiante desarrolla el ejercicio B en todos

los grupos de ejercicios.

El estudiante desarrolla el ejercicio C en todos

los grupos de ejercicios.

El estudiante desarrolla el ejercicio D en todos

los grupos de ejercicios.

Brayan Sebastian Sabogal Bernal El estudiante desarrolla el ejercicio E en todos

los grupos de ejercicios.

 5

Ejercicio 1: Proposiciones y tablas de verdad

Espacio para solución del ejercicio 1

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

E. r: La innovación aporta soluciones creativas.

s: El pensamiento crítico nos hace más competitivos.

t: El conocimiento nos empodera como sociedad. (s ∧ t) → r

(s ∧ t) → r

➢ Escribir la proposición compuesta del lenguaje simbólico en un lenguaje natural.

Lenguaje natural:

La innovación aporta soluciones creativas ENTONCES, El pensamiento crítico nos hace más

competitivos Y El conocimiento nos empodera como sociedad.

 6

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

TABLAS DE VERDAD

Podemos evidenciar en la tabla anterior que el resultado es una Contingencia ya que tiene valores

de verdad y falso.

➢ Generar la tabla de verdad a través del simulador Lógica UNAD. El paso a paso para el uso del

simulador lo podrá encontrar en el Anexo 2 – Guía para el desarrollo de la tarea 1 (ejercicios

ejemplo), ubicado en el entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de

7
 8

Link vídeo explicativo ejercicio 1: Pendiente.

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

Espacio para solución del ejercicio 2

E. “La empresa tendrá éxito” si y solo si “la empresa contrata personal calificado” o “invierte en

innovación tecnológica”. “La empresa no contrató personal calificado”. Por lo tanto, “la empresa

no tendrá éxito".

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

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

P LA EMPRESA TENDRA ÉXITO

Q LA EMPRESA CONTRATA PERSONAL CALIFICADO
R INVIERTE EN INNOVACION TECNOLOGICA

➢ Identificar los conectores que intervienen en el argumento.

Los conectores identificados en el texto anterior son;

Bicondicional Si y solo si (↔)

Disyunción O (˅)

Negación No (∼)

➢ Construir el lenguaje simbólico correspondiente al argumento.

 9

p↔(q∨r)→(~q∨~p)

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

El resultado es una Contingencia ya que tiene valores de verdad y falso.

 10

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

Espacio para solución del ejercicio 3

E. Expresión simbólica

[(𝑝 → ~𝑞) ∧ 𝑝] → ~𝑞

P1 𝑝 → ~𝑞

P2 ∧𝑝→

Conclusión ~𝑞

Ley utilizada Modus Ponendo Ponen (PP)

A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:

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

 P1: 𝑝 → ~𝑞

 P2: ∧ 𝑝 →

 Conclusión: ~𝑞

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

 Ley utilizada: Modus Ponendo Ponen (PP)

 11

Ejercicio 4: Problemas de aplicación.

Espacio para solución del ejercicio 4

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: [(𝑝∨𝑞)∧(𝑝 → 𝑟)∧(~𝑟)] → (~𝑝∧𝑞)

Demostración

P1: 𝑝 ∨ q

P2: 𝑝 → 𝑟 Premisas dadas

P3: ~𝑟

Premisas Ley aplicada Premisas usadas

P4: ~𝑝 Modus Tollendo Tollens (MTT) P2, P3

P5: 𝑞 Modus Tollendo Ponens (MTP) P1, P3

P6: ~𝑝 ∧ q Adjunción Y Simplificación P4, P5

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

 12

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

PENDIENTE
 13

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.

 14

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