1

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

Wilmer

Pensamiento Lógico y Matemático 200611

Grupo 200611

Director-Tutor

Leidy Johanna Méndez Muñoz

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 2

Introducción

Profundizaremos y analizaremos métodos, reglas y técnicas para probar la validez de argumentos,

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

indiferencia como modus ponendo ponens (PP), tollendo ponens (TP), silogismo hipotético

(SH),Adjuncion (A), simplificación (S), ley de adición (LA), Doble Negación, silogismo

disyuntivo (SD), simplificación disyuntiva (SD) Igualmente podremos interpretar los conectores

lógicos como el de negación, conjunción, disyunción inclusiva, disyunción exclusiva, condicional

y bicondicional.

Todo ello para para lograr el desarrollo de los cuatro ejercicios que se exponen en el presente

trabajo.
 3

Objetivos

General

Identificar, entender y calcular las proposiciones simples y compuestas, el lenguaje

simbólico, signos de agrupación, tablas de verdad, las leyes de indiferencia y conectores lógicos,

para probar la validez de argumentos.

Específicos

 Determinar proposiciones simples y compuestas

 Discernir las leyes de indiferencia, los conectores lógicos y signos de agrupación

para la elaboración de una tabla de verdad.

 Elaborar tablas de verdad, utilizando los conectores lógicos.

 Analizar, comprender y entender el lenguaje simbólico.

 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:

D.

p: El cambio climático tiene impacto negativo en los ecosistemas

q: Las actividades humanas contribuyen al cambio climático

r: La educación es un factor esencial contra la crisis climática.

( p → q ) ∧(r → q)

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.

Si el cambio climático tiene impacto negativo en los ecosistemas, entonces las actividades

humanas no contribuyen al cambio climático. Y si la educación es un factor esencial contra la

crisis climática, entonces las actividades humanas contribuyen al cambio climático.

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

P Q r ~q (𝑝 → ~q) (r → q) (𝑝 → ~q) ∧ (r → q)
V V V F F V F
V V F F F V F
V F V V V F F
V F F V V V V
F V V F V V V
F V F F V V V
F F V V V F F
F F F V V V V
El resultado es una contingencia porque son valores verdaderos y falsos.

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

 5

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:

D. "'Si Sofia tiene conocimientos previos', entonces 'Sofia comprende nuevos conceptos'. Y 'si

Sofia comprende nuevos conceptos', entonces 'Sofia podrá aplicar correctamente nuevos

conceptos'. Si y solo si, ' si Sofia tiene conocimientos previos', entonces 'Sofia podrá aplicar

correctamente nuevos conceptos'".

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

 6

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

P: 'Si Sofia tiene conocimientos previos'

Q: 'Sofia comprende nuevos conceptos'

R: 'Sofia podrá aplicar correctamente nuevos conceptos'

➢ Identificar los conectores que intervienen en el argumento.

→ condicional (si entonces si)

∧ conjunción(Y )

↔ bicondicional(si y solo si)

➢ Construir el lenguaje simbólico correspondiente al argumento.

[ ( P → Q ) ∧ ( Q → R ) ]↔( P → 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.

 7

El argumento es una contingencia porque son valores verdaderos y falsos.

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

Descripción del ejercicio: 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.

D. Expresión simbólica [(p ∨ q) ∧ (p → ~r) ∧ (q → ~r)] → ~r

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.

 8

P1: (p ∨ q)

P2: (p → ~r)

P3: (q → ~r)

Conclusión: ~r

Ley utilizada: Silogismo disyuntivo (SD)

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

El argumento es una tautología porque son valores verdaderos.

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:

D. Expresión simbólica: [(p ˅∼r) ∧ (∼r→ q) ∧ (p→r)]→ (q ˅ r)

 9

P1: [(p ˅∼r)

P2: (∼r→ q) Premisas dadas

P3: (p →r)

Premisas Ley aplicada Premisas usadas

P4: (q ˅ r) Silogismo disyuntivo (SD) P1, P2, P3

Ley: Silogismo disyuntivo (SD)

P1: [(p ˅∼r) toma disyunción

P2: (∼r→ q) implicación donde antecedente es una de las proposiciones de 1 premisa

P3: (p →r) implicación donde antecedente es la proposición que no se tomó de la 1 premisa

Conclusión: P4: (q ˅ r) disyunción donde el 1 componente es consecuente de 2 premisa y 2

componente es el consecuente de la 3 premisa

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 simpes deben contener 1. Sujeto, 2. Verbo y

3. Predicado.

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

p: la corrupción de los políticos es negativa para el progreso

q: la educación de las nuevas generaciones es esencial contra la corrupción

r: la pobreza de las familias contribuye a la corrupción

 10

La corrupción de los políticos es negativa para el progreso O la pobreza de las familias NO

contribuye a la corrupción, Y SI la pobreza de las familias NO contribuye a la corrupción

ENTONCES, la educación de las nuevas generaciones es esencial contra la corrupción Y SI la

corrupción de los políticos es negativa para el progreso ENTONCES, la pobreza de las familias

contribuye a la corrupción. SI la educación de las nuevas generaciones es esencial contra la

corrupción O la pobreza de las familias contribuye a la corrupción.

 11

Conclusiones

Con el presente trabajo se pudo comprender la importancia de la lógica matemática quien es la

ciencia que estudia 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.

Así mismo 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.

 12

Referencias Bibliográficas

 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