Haga clic aquí para escribir texto.

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

Luna Sharick Juez Pelaez-Código 1074414679

Pensamiento Lógico y Matemático 200611

Grupo 200611-2763

Director-Tutor

Miguel Angel Gordillo Martin

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 Haga clic aquí para escribir texto.

Introducción

El siguiente trabajo está construido por una serie de actividades correspondientes a las

temáticas abordadas en la unidad dos, que constan de cuatro ejercicios, en los cuales se

desarrollan la interpretación de las tablas de verdad y reglas de inferencia para probar la validez de

argumentos.
 Haga clic aquí para escribir texto.

Objetivos

General

Conocer los métodos para probar la valides de argumentos.

Específicos

 Diseñar y construir una tabla de verdad

 Conocer e identificar los diferentes tipos, símbolos para construir una tabla de
verdad
 Analizar y conceptualizar las reglas de inferencia para probar la validez de los
argumentos
 Haga clic aquí para escribir texto.

Ejercicio 1: Proposiciones y tablas de verdad

Descripción del ejercicio

A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:

A. p: La mayor problemática social es la falta de educación

q: La educación debe asumir pertinencia en sus modelos.

r: El modelo educativo actual retrasa el desarrollo generando desigualdades en la sociedad.

𝑝 → (q v 𝑟)

Espacio para solución del ejercicio 1

➢ Escribir la proposición compuesta propuesta en un lenguaje natural.

Si la mayor problemática social es la falta de educación. entonces, la educación debe

asumir pertinencia en sus modelos o el modelo educativo actual retrasa el desarrollo, generando
desigualdades en la sociedad.

➢ 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 qvr 𝑝 → (q v 𝑟)

V V V V V

V V F V V

V F V V V

V F F F F

F V V V V

F V F V V

F F V V V

F F F F V
 Haga clic aquí para escribir texto.

ES CONTINGENCIA

➢ 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 6 - Simulador Lógica UNAD, ubicado
en el entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación
- Unidad 2- Tarea 2 - Métodos para probar la validez de argumentos.

➢ Realizar un vídeo de 5 minutos máximo:

Link vídeo explicativo ejercicio 1: pensamiento lógico y matemático

 Haga clic aquí para escribir texto.

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

Descripción del ejercicio:

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

a. Si Camila es una líder ambiental entonces gana un premio internacional a jóvenes

ambientalistas. Camila es una líder ambiental.

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

➢ Definir la expresión del argumento en lenguaje simbólico o formal.

➢ Nombrar la ley de inferencia que se aplica para probar el argumento.
➢ Identificar la conclusión del argumento.
 Haga clic aquí para escribir texto.

Espacio para solución del ejercicio 2

a. Lenguaje simbólico:

P: Camila es una líder ambiental

Q: Camila gana un premio internacional a jóvenes ambientalistas
La premisa se puede expresar como: "Si P, entonces Q" (Si Camila es una líder ambiental
entonces gana un premio internacional a jóvenes ambientalistas).
P→q
b. Ley de inferencia aplicada:

La ley de inferencia usada en este caso es el modus ponens, que establece que, si se tiene
una afirmación condicional "si p, entonces q" y se sabe que p es verdadero, entonces se puede
inferir que q también es verdadero.
En este caso, la ley de inferencia aplicada sería:
P es verdadero (Camila es una líder ambiental)
"Si P, entonces Q" es verdadero
Por lo tanto, Q es verdadero (Camila gana un premio internacional a jóvenes

ambientalistas)

c. Conclusión: Podemos concluir que Camila gana un premio internacional a jóvenes

ambientalistas, ya que sabemos que es una líder ambiental y según la premisa, si alguien es una
líder ambiental entonces gana un premio internacional a jóvenes ambientalistas.

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

Descripción del ejercicio:

 Haga clic aquí para escribir texto.

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.

A. Expresión simbólica

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

Conclusión: p v t
P1: p→q
P2: q→r
P3: p v s
P4: ~ s
Espacio para solución del ejercicio 3

A. Expresión simbólica

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

Conclusión: p v t
P1: p→q
P2: q→r
P3: p v s
P4: ~ s
Premisa Ley de inferencia aplicada Premisas usadas
P5: p→ r Silogismo Hipotético (SH) P1 y P2
P6: p Modus ponendo ponens(MPP) P2 Y P3
P7: p v t Mudos tollendo ponens (MTP) P1 Y P4

a partir del argumento en el lenguaje simbólico deberá dar respuesta a los

Siguientes ítems.

 Realizar la tabla de la verdad mediante el simulador de lógica Unad Anexo 6 -

(Simulador Lógica UNAD),
Haga clic aquí para escribir texto.
 Haga clic aquí para escribir texto.

 Completar la tabla, estableciendo cada la ley de inferencia y las premisas utilizadas

para avanzar en la demostració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:
A. Expresión simbólica: [ (p →q) ∧ (p ∨ ~r) ∧ (r)]→ (q ᴧ r)

Premisas:

P1: (p → q)

P2: (p ∨ ~r)

P3: r

Conclusión: q ᴧ r

Espacio para solución del ejercicio 4

P: Andrés es el padre de mi mama

q: El padre de mi mama es mi abuelo

r: Andrés es mi abuelo

P1: (p → q)

Andrés es el padre de mi mama entonces el padre de mi mama es mi abuelo

P2: (p ∨ ~r)

Andres es el padre de mi mama o andres no es mi abuelo

 Haga clic aquí para escribir texto.

P3: r

Andres es mi abuelo

Conclusión: q ᴧ r

Andres es el padre de mi mama y Andres es mi abuelo

P q r p→q ~r P V ~r P V ~r P →q P V ~r ∧ r q∧ r (p →q) ∧ (p ∨ ~r) ∧

∧r (r)]→ (q ᴧ r)

v V V V F V V V V V

v V F V V V F F F V

v F V F F V V F F V

v F F F V V F F F V

F V V V F F F F V V

F V F V V V F F F V

F F V V F F F F F V

F F F V V V F F F V
Haga clic aquí para escribir texto.
 Haga clic aquí para escribir texto.

Conclusiones

 En construcción para demostrar y refutar la validez de un argumento a través de un

método de deducción se deduce la conclusión de un argumento a partir de sus

premisas.

 Las leyes de inferencia desarrollan la capacidad que tiene una persona para

elaborar argumentos y analizarlos con un punto de vista crítico. También afirman

que hacer uso de la razón De igual forma se puede aplicar en diferentes aspectos de

la vida en esa persona.

 La función, que cumple las tablas de verdad, es fundamental para analizar y

determinar los valores de verdad en un enunciado; Gracias a ella es más sencillo

saber si la fórmula es correcta y permite que las personas demuestren la validez de

un argumento.
 Haga clic aquí para escribir texto.

Referencias Bibliográficas

Curo, A. (2015). Matemática básica para administradores. Universidad

Peruana de Ciencias Aplicadas (UPC). (pp. 13-27). https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/41333?page=10

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

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas

y fundamentos de álgebra lineal. Volumen I: conjuntos numéricos,

complementos. Editorial Tébar Flores. (pp. 19-28). https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=20

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

conjuntos. Universidad Abierta para Adultos (UAPA). (pp. 19-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 68-77).

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

page=68
 Haga clic aquí para escribir texto.

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