1

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

Jhon Alejandro Herrera Valdés – Código 1.120.583.415

Pensamiento Lógico y Matemático 200611

Grupo 200611-3241

Director-Tutor

Johnnantan Andres Figeroa Hidalgo

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 2

Introducción

Profundizando en la importancia de este trabajo es el conocimiento sobre argumentos

deductivos válidos, las premisas o la conclusión son afirmativas o verdaderas, y el desarrollo de la

conclusión solo se puede aprender en términos de consecuencias lógicas si se tiene en cuenta la

forma. que las premisas solo hay una relación condicional entre ella y la conclusión.

En él podemos observar los métodos y formulaciones expresados en lenguaje simbólico y

natural, analizados en la aplicación de conectores lógicos, encaminados a determinar lo que ocurre

en el trabajo a presentar argumentación a través del análisis de premisas y formulación de tablas

de verdad.
 3

Objetivos

General

Interpretar correctamente las tablas de verdad y las reglas de inferencia para probar la validez de

un argumento.

Específicos

Aplicar de manera apropiada las reglas de la inferencia lógica

Emplear la demostración de un argumento utilizando las reglas de la inferencia lógica

 4

Ejercicio 1: Proposiciones y tablas de verdad

Ejercicio E.

➢ Proposiciones simples

p: Colombia es un país vulnerable al cambio climático

q: El plan de desarrollo nacional debe implementar acciones de mitigación al cambio climático

➢ Lenguaje simbólico

[(𝑝 → q) ∧ p] → q

➢ Lenguaje Natural

Si p entonces q y p entonces q

Si Colombia es un país vulnerable al cambio climático entonces El plan de desarrollo nacional

debe implementar acciones de mitigación al cambio climático y Colombia es un país vulnerable al

cambio climático Siempre que El plan de desarrollo nacional debe implementar acciones de

mitigación al cambio climático.

➢ Tabla manual.

p q (𝑝 → q) [(𝑝 → q) ∧ p] [(𝑝 → q) ∧ p] → q

v v v v v

v f f f v

f v v f v

f f v f v

➢ Se clasifica como: Tautología.

➢ Tabla de verdad Simulador UNAD.

 5

 Link vídeo explicativo ejercicio 1:

Ejercicio 2: Aplicación de las reglas de inferencia lógica

 Ejercicio E.

El territorio colombiano es considerado como megadiverso por su variedad de pisos térmicos o el

país es una potencia mundial por su desarrollo económico. El país no es una potencia mundial por

su desarrollo económico.

➢ Lenguaje simbólico:

p: El territorio colombiano es considerado como megadiverso por su variedad de pisos térmicos

q: El país es una potencia mundial por su desarrollo económico

➢ Lenguaje simbólico:

p v q ~p

 Conclusión: q

El país es una potencia mundial por su desarrollo económico.

 Ley de inferencia aplicada: Modus Tollendo Ponens (MTP)

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

Ejercicio E.
 6

 Expresión simbólica:

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

 Tabla de verdad:

 Demostración:

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

 Conclusión:

[(q ᴧ ~r) ᴧ p]

 Premisas:

P1: p→q

P2: r→s

P3: p ᴧ ~s

 Demostración:
 7

Paso 1: Obtención de la Premisa 4. Se aplica la ley del (MTT) ente las premisas 1 y 7

P1: p→q

P7: q

P4: p

Paso 2: Obtención de la Premisa 5. Se aplica la ley de Simplificación ente la premisa 3

P3: p ᴧ ~s

P5: ~s

Paso 3: Obtención de la Premisa 6: Se aplica la ley de (MPP) ente la premisa 2 y 5

P2: r→s

P5: ~s

P6: ~r

Paso 4: Obtención de la Premisa 7: Se aplica la ley de (MPP) ente la premisa 1 y 4

P1: p→q

P4: p

P7: q

Paso 5: Obtención de la premisa 8, Se aplica la ley de Adjunción (LA) ente la premisa 4 y 6

P4: p

P6: ~r

P8: (q ^ ~r)

Paso 6: Obtención de la premisa 9, Se aplica la ley de Adjunción (LA) ente la premisa 8 y 4

P8: (q ^ ~r)

P4: p

P9: (qᴧ~r) ᴧp
 8

Premisa Ley de inferencia aplicada Premisas usadas

P4: p Modus Tollendo Tollens p1 y p7

P5: ~s Ley de simplificación p3

P6: ~r Modus Ponnendo Ponnens p2 y p5

P7: q Modus Ponnendo Ponnens p1 y p4

P8: q ᴧ ~r Ley de Adjunción p4 y p6

P9: (qᴧ~r) ᴧp Ley de Adjunción p8 y p4

Ejercicio 4: Problemas de aplicación.

Ejercicio E.

 Expresión simbólica:

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

P1: (p→∼q)

P2: (∼q →r)

P3: ~r

 Conclusión: (∼p∧∼r)

 Proposiciones simples:

p: La Universidad Nacional Abierta ya Distancia se proyecta como una organización líder en

educación abierta y a distancia

q: La Universidad Nacional Abierta reconocida a nivel nacional e internacional por la calidad

innovadora, la pertinencia de sus ofertas y servicios educativos

r: La Universidad Nacional Abierta y a Distancia posee ambientes virtuales de aprendizaje

 9

 Lenguaje Natural:

Si la Universidad Nacional Abierta ya Distancia se proyecta como una organización líder en

educación abierta y a distancia entonces La Universidad Nacional Abierta no reconocida a nivel

nacional e internacional por la calidad innovadora, la pertinencia de sus ofertas y servicios

educativos. La Universidad Nacional Abierta no reconocida a nivel nacional e internacional por la

calidad innovadora, la pertinencia de sus ofertas y servicios educativos entonces la Universidad

Nacional Abierta y a Distancia posee ambientes virtuales de aprendizaje. La Universidad Nacional

Abierta y a Distancia no posee ambientes virtuales de aprendizaje.

➢ Tabla de verdad manual

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

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

∧(∼r)] ∧(∼r)]→(∼p∧∼r)

v f v f f f f v f f f v

v f f f f v f v f f f v

v v v f v f v v v f f v

v v f f v v v f f f f v

f f v v f f v v v f f v

f f f v f v v v v v v v

f v v v v f v v v F f v

f v f v v v v f f f v v
 10

 Tabla de verdad Simulador UNAD

➢ Demostración de la validez del argumento mediante las Leyes de Inferencia:

P1: (p→∼q)

P2: (∼q →r)

P3: ~r

∼q →r
~r
~q

P4: ~q ………… Modus Tollendo Ponens entre P2 y P3

p→∼q
~q
~p

P5: ~p………… Modus Tollendo Ponens entre P1 y P4

∼p
~q
∼p∧∼r ……… Ley de Adjunción entre P5 y P4 = Conclusión
 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