1

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

Elvis Brayan Triana Bedoya

Código 1040376771

Profesional en Seguridad y Salud en el Trabajo

Pensamiento Lógico y Matemático 200611

Grupo 200611_383

Jilmer Alexi Caicedo Bello

Universidad Nacional Abierta y a Distancia – UNAD

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

2023
 2

Introducción

Se analizará los métodos y reglas para probar la validez de los argumentos, las

proposiciones compuestas, simples, el lenguaje simbólico, tablas de verdad, las

leyes de indiferencia usadas como lo son modus tollendo ponens (TP), silogismo

hipotético (SH), Adjuncion (A), simplificación (S), modus ponendo ponens (PP),

ley de adición (LA), Doble Negación, silogismo disyuntivo (SD), simplificación

disyuntiva (SD). También aprender a identificar los conectores lógicos como el de

negación, conjunción, disyunción exclusiva, disyunción inclusiva, bicondicional y

condicional.
 3

Objetivos

General

Realizar de forma adecuada la tabla de verdad identificando cuando se presenta

una proposición compuesta, a partir de las combinaciones de los valores de verdad de

las proposiciones simples que las componen y las reglas que se aplican a ella.

Específicos

• Comprender como se realiza una proposición simple a lenguaje compuesto y de

lenguaje compuesto a lenguaje simple

• Identificar que leyes de inferencia se aplican en las premisas dadas

• Conocer cuales son los conectores lógicos usados en las tablas de verdad
 4

Ejercicio 1: Proposiciones y tablas de verdad

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

desarrollo del ejercicio 1:

C.

r: Reducir el uso de plásticos disminuye la contaminación.

s: Reciclar ayuda a conservar el medio ambiente.

t: Cuidar el planeta es responsabilidad de todos.

(r ∨ t) → s

Si “Reducir el uso de plásticos disminuye la contaminación” o “cuidar el planeta es

responsabilidad de todos” entonces “reciclar ayuda el medio ambiente”.

2𝑛 = 23 = 8

r s t rvt (r∨t)→s

V V V V V

V V F V V

V F V V F

V F F V F

F V V V V

F V F V V

F F V V F

F F F F V
 5

El argumento es una contingencia puesto que da resultados falsos como verdaderos

Link del vídeo: https://youtu.be/SAGKhMCQ4zc

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:

C. “Los estudiantes leyeron el material” o “realizaron la actividad

práctica” si y solo si “rindieron bien en el examen”. “Los estudiantes no leyeron el

material”. Por lo tanto, “los estudiantes realizaron la actividad práctica” y

“rindieron bien en el examen”.

p: Los estudiantes leyeron el material

q: realizaron la actividad práctica

r: rindieron bien en el examen

➢ Identificar los conectores que intervienen en el argumento.

 6

O ∨

SI Y SOLO SI ↔

Y ∧

ENTONCES →

[ (p∨q) ↔ r ∧( ∼p)]→(q ∧ r)

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

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.

C. Expresión simbólica

[𝑝 ∧ ∼𝑞] → ∼𝑞
 7

P1: 𝑝 ∧ ∼𝑞

CONCLUSIÓN: ∼𝑞

LEY UTILIZADA: Simplificación

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: N.A

Conclusión: ∼𝑞

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

Ley utilizada Simplificación

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:
 8

C. Expresión simbólica: [(𝑝∧𝑟)∧(𝑟→𝑞)∧(~𝑝)]→(𝑟∧𝑞)

Demostración
P1: 𝑝∧𝑟
P2: 𝑟→𝑞 Premisas dadas
P3: ~𝑝

Premisas Ley aplicada Premisas usadas

SIMPLIFICACIÓN
P4: 𝑟 (S) P1
MODUS
PONENDO
P5: 𝑞 PONENS(PP) P2, P4

P6: 𝒓∧𝒒 ADJUNCIÓN (A) P3, 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.

Definición de proposiciones simples

p: Los estudiantes de la Unad estudian PLM

q: Son buenos resolviendo los ejercicios

r: Asisten a todas las clases

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

 9

Lenguaje simbólico

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

Lenguaje natural

[ (Si los estudiantes de la Unad estudian PLM y asisten a todas las clases). (asisten a

todas las Clases por lo tanto son buenos resolviendo los ejercicios), sin embargo (los

estudiantes de la Unad no estudian PLM) ] entonces (asisten a todas las clases y son

buenos resolviendo los ejercicios)

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

Conclusiones

Se pudo comprender los métodos de razonamiento, proporciona reglas y técnicas para

determinar la validez o no validez de argumentos, e indica la forma correcta de obtener

conclusiones y los métodos para llegar a ellas; se conocieron, analizaron e interpretaron

las proposiciones simples, compuestas, el lenguaje simbólico, tablas de verdad, las

leyes de indiferencia y los conectores lógicos; elementos fundamentales para el

desarrollo de dichos ejercicios.

 11

Referencias Bibliográficas

➢ Vargas, E., Núñez, L. A. (2019). Lógica matemática y teoría de conjuntos.

Universidad Abierta para Adultos (UAPA). (pp. 18-36).

https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/176645?page=19

➢ Vargas Villegas, E. & Nuñez, L. A. (2019). Lógica matemática y teoría de

conjuntos. Universidad Abierta para Adultos (UAPA). (pp 67-77).

https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/176645?page=68

➢ 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. & Martínez, C. (2022). Lógica e inferencia.

[Objeto_virtual_de_Informacion_OVI]. Repositorio Institucional UNAD.
https://repository.unad.edu.co/handle/10596/52739

➢ Castaño, C. (2022). Aprendiendo sobre Blearning – Cipas y Webconferencias.

[Objeto_virtual_de_Informacion_OVI]. Repositorio Institucional UNAD.
https://repository.unad.edu.co/handle/10596/52834
➢ Castaño, C. (2022). Tablas de verdad. [Objeto_virtual_de_aprendizaje_OVA]. Repositorio

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

➢ Castaño, C., Victoria, D., Amaya, H., Vega, J. (2020). [Objeto Virtual de Aprendizaje OVA].

Lógica Proposicional. Repositorio Institucional UNAD.

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

➢ Castaño, C. (2019). Leyes de la inferencia. [Objeto Virtual de Aprendizaje

OVA]. Repositorio Institucional

UNAD. https://repository.unad.edu.co/handle/10596/31590