Anexo 1 – Tarea 1 – Métodos para probar

La validez de argumentos

Laura Stephanie Vargas Ramos

Grupo: 200611_1313

Tutor

Fabian Adames Papa

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERA
INGENIERIA INDUSTRIAL
IBAGUÉ - TOLIMA

octubre de 2020
 Introducción

Establecer los argumentos lógicos necesarios son

fundamentales para el desarrollo de los ejercicios
desarrollados a continuación, se establecen los argumentos
lógicos como los que se construyen con una o varias
proposiciones que son también llamadas premisas dentro del
lenguaje simbólico, son frases que de una forma u otra
afirman una situación o acción; también se establecen las
proposiciones falsas o verdades, junto con las tablas de
verdad establecidas por los diferentes conectores o nexos
lógicos, los nexos lógicos son palabras o expresiones que
sirven para entrelazar de manera adecuada las proposiciones
simple, estableciendo de forma concisa una conclusión
concreta de si se encuentra establecida como falsa o
verdadera.
 Objetivos

Objetivo General: Establecer de manera adecuada los diferentes

métodos de argumentos lógicos, realizando las conexiones
adecuadas frente a cada ejercicio propuesto:

Objetivos específicos:

- Establecer e identificar de manera adecuada las proposiciones y

tablas de verdad en cada una de las actividades propuestas.

- Identificar la construcción de tablas de verdad, teniendo en cuenta

los nexos lógicos con los que esta cada proposición compuesta.

- Reconocimiento de cada nexo lógico adecuado para establecer las

proposiciones compuestas.
Ejercicio 1: Proposiciones y tablas de verdad

A continuación, encontrará las proposiciones simples para el

desarrollo del ejercicio 1: Letra D

Proposiciones simples
. p: Los equipos de futbol de Colombia cesaron sus actividades a causa
del COVID19
q: Los jugadores del Deportes Tolima siguieron entrenando desde sus
casas bajo la dirección Hernán Torres
r: Algunos equipos del futbol colombiano siguieron entrenando de
forma presencial

➢ Lenguaje simbólico
(𝒑 → ∼𝒒) V (∼ r ↔p)

➢ Lenguaje Natural
Los equipos de futbol de Colombia cesaron sus actividades a causa del
COVID-19 por ende los jugadores del Deportes Tolima no siguieron
entrenando de sus casas bajo dirección Hernán Torres o no, no es cierto
que algunos equipos del futbol colombiano siguieron entrenando de
forma presencial por lo cual y según lo cual los equipos de futbol de
Colombia cesaron sus actividades a causa del COVID-19.
Tabla manual
𝒑 𝒒 𝒓 ∼𝒒 ∼𝒓 𝒑 →~ 𝒒 ∼ r ↔p (𝒑 →~ 𝒒) ∧ (∼ r ↔p)

V V V F F F F F
V V F F V F V V
V F V V F V F V
V F F V V V V V
F V V F F V V V
F V F F V V F V
F F V V F V V V
F F F V V V F V

Se clasifica como: Contingencia.

Tabla de verdad Simulador UNAD

Ejercicio 2: Identificación de las reglas de la inferencia lógica

Expresión simbólica 1

Adjunción

Ley de inferencia de la expresión: Adjunción

Proposiciones simples:

r: Laura realiza actividades referentes a la

UNAD
s: Laura obtuvo el mayor puntaje en un
examen de algebra

Lenguaje Natural:

Laura realiza actividades referentes a la UNAD, y obtuvo el mayor

puntaje en un examen de algebra.

Expresión simbólica 2

Tollendo Ponens
Ley de inferencia de la expresión: Tollendo ponens

Proposiciones simples:

r: Laura realiza actividades referentes a la

celebración del FOLCLOR-UNAD
s: Laura obtuvo el mayor puntaje en un
examen de algebra

Lenguaje Natural:

Laura no realiza actividades referentes a celebración del FOLCLOR-

UNAD, Laura obtuvo el mayor puntaje en un examen de algebra.

Expresión simbólica 3

Modus ponens

Ley de inferencia de la expresión: Modus ponens

Proposiciones simples:

r: Laura realiza actividades referentes a la

UNAD
s: Laura obtuvo el mayor puntaje en un
examen de algebra

Lenguaje Natural:

Laura realiza actividades referentes a la UNAD entonces obtuvo el mayor

puntaje en un examen de algebra.

Ejercicio 3: Aplicación de las reglas de la inferencia lógica

Argumento : A Emilio le gusta viajar durante las vacaciones a tierra
caliente o a Emilio le gusta viajar durante las vacaciones a tierra fría. A
Emilio no le gusta viajar durante las vacaciones a tierra caliente

Conclusión: A Emilio no le gusta viajar durante las

vacaciones a tierra caliente.

Ley de inferencia aplicada: Tollendo ponens

Lenguaje simbólico:
Ejercicio 4: Problemas de aplicación

Expresión simbólica: [(𝑝 v 𝑞) ∧ (¬𝑞) ∧ (p→ 𝑟) ∧ (q → r)] → (p ∧ r)

Proposiciones simples:

p: Laura estudia ingeniería electrónica en la

UNAD
q: Laura aprobó el curso de pensamiento
lógico
r: Laura se encuentra en el grupo 200611_1313

Lenguaje Natural:
Laura estudia ingeniería electrónica en la UNAD o Laura
aprobó el curso de pensamiento lógico. Laura no aprobó el
curso de pensamiento lógico. Laura estudia ingeniería
electrónica en la UNAD por ende Laura se encuentra en el
grupo 200611_1313, si entonces Laura estudia ingeniería
electrónica en la UNAD y Laura se encuentra en el grupo
200611_1313.
Tabla de verdad manual
P q r ¬q 𝑝v𝑞 p→ 𝑟 q→r p∧ r (𝑝 v 𝑞) ∧ (¬𝑞) (p→ 𝑟) ∧ (q → r) [(𝑝 v 𝑞 ) ∧ (¬𝑞) ∧ [(𝑝 v 𝑞 ) ∧ (¬𝑞) ∧
(p→ 𝑟) ∧ (q → (p→ 𝑟) ∧ (q → r)]
r)] → (p ∧ r)

V V V F V V V V F V F V

V V F F V F F F F F F V

V F V V V V V V V V V V

V F F V V F V F V F F F

F V V F V V V F F V F F

F V F F V V F F F F F F

F F V V F V V F F V F F

f F F V F V V F F V F F
Tabla de verdad Simulador UNAD

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

P1: 𝑝v𝑞
P2: ¬𝑞
P3: p→ 𝑟
P4: q→r

Conclusión: p ∧ r
 Conclusiones

Fue muy importante establecer la conexión entre cada uno de los puntos
para el desarrollo, comprender los nexos lógicos, de cómo se identifican
simbólicamente cada uno de ellos, como construir una tabla de verdad
manualmente teniendo siempre en cuenta los nexos lógicos de cada una
de las proposiciones compuestas, la identificación de las premisas para las
expresiones simbólicas, se convirtió en un reto identificar los nexos y
realizar de manera adecuada cada tabla de verdad, las leyes de inferencia
comprender su estructura es vital para el desarrollo de los ejercicios.
 REFERENCIAS.
https://sites.google.com/site/matediscretasatilanocarrillo/unidad-2-logica-
matematica/2-2-4-leyes-y-reglas-de-la-inferencia
file:///C:/Users/Usuario/Downloads/Anexo%201%20-
%20Gu%C3%ADa%20para%20el%20desarrollo%20de%20la%20Tarea%20
1(1)%20(2).pdf
http://logicaunad.com/jtruth/resolver.php
https://prezi.com/9-dpeofo51b7/argumento-logico-y-
convincente/#:~:text=Un%20argumento%20l%C3%B3gico%20se%20const
ruye,sigue%20necesariamente%20de%20las%20premisas.
https://www.youtube.com/watch?time_continue=3&v=6UgbW1O7mtc
https://www.youtube.com/watch?v=UrjJObxpbhQ&ab_channel=Andres170n
t
https://www.youtube.com/watch?v=uSAI99vN50Y&ab_channel=LuzAdriana
RamirezRincon
https://www.youtube.com/watch?v=0rxtSkNZdN8&ab_channel=LuzAdrianaR
amirezRincon
https://www.youtube.com/watch?v=Rvh0c62BPMU&ab_channel=YennyMaris
olCayachoaGarcia
http://hdl.handle.net/10596/13871
https://repository.unad.edu.co/handle/10596/31590