Tarea 1 - Métodos para Probar La Validez de Argumentos

TAREA 1 – MÉTODOS PARA PROBAR LA VALIDÉZ DE ARGUMENTOS
ESTUDIANTE
CARLOS ALBERTO RAMÍREZ RESTREPO
CÓDIGO: 200611_1123
TUTORA
MARY ORTEGA GONZÁLEZ
CURSO
PENSAMIENTO LÓGICO Y MATEMÁTICO
INGENIERÍA ELECTRÓNICA
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
2020
INTRODUCCIÓN
Tal vez en pocas ocasiones le prestamos atención a las decisiones que tomamos en
nuestra vida cotidiana, dejándonos llevar muchas veces por las emociones o por la
rapidez en que debemos tomar una decisión, y olvidamos o no nos percatamos de hacer
un razonamiento o un pensamiento lógico antes de decidir cualquier cosa. Por eso es
importante estudiar e interiorizar los operadores lógicos, las reglas de inferencia y sus
aplicaciones, con el fin de fortalecer nuestro pensamiento lógico y acostumbrarnos
siempre a hacer un alto en el camino para pensar, analizar, razonar y concluir.
En este orden de ideas, veremos a continuación la aplicación de los operadores lógicos y
las leyes de inferencia aplicado en proposiciones simples y compuestas, también
aprenderemos a representar proposiciones en lenguaje simbólico conociendo
primeramente la proposición en lenguaje natural, y finalmente reconoceremos si una
proposición es una tautología, falacia o contingencia. Es así pues que con este trabajo
consolidaremos nuestro razonamiento a través las estructuras de las proposiciones
simples y compuestas
OBJETIVOS
OBJETIVO GENERAL
- Reconocer el funcionamiento de las tablas de verdad y las reglas de inferencia para
probar la validez de argumentos.
OBJETIVOS ESPECÍFICOS
- Seleccionar un literal de los ejercicios para realizar su respectiva solución
- Identificar si un argumento es válido o inválido, y demostrar su validez
- Convertir proposiciones del lenguaje natural al lenguaje simbólico y viceversa.
1. A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
C. p: Estudiamos para el parcial

q: Nos distraemos estudiando
r: Nos dormimos estudiando
(p ∧~r) ∨~r
a) Escriba la proposición compuesta propuesta en lenguaje natural.
Estudiamos para el parcial y no nos distraemos estudiando, o no nos dormimos estudiando
b) 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 ~r p ˄ ~q (p ˄ ~q) ˅ ~r
V V V F F F F
V V F F V F V
V F V V F V V
V F F V V V V
F V V F F F F
F V F F V F V
F F V V F F F
F F F V V F V
Se clasifica como contingencia
c) Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para uso del
simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD), ubicado en el entorno
de aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación -Unidad 1-Tarea 1
-Métodos para probar la validez de argumentos.
d) Realizar un vídeo donde explique la forma como fue desarrollado el ejercicio 1 seleccionado.
La realización del vídeo puede ser con la cámara del celular, cámara del PC u otra alternativa
que se le facilite. El estudiante debe aparecer en la grabación de frente y mostrar a la cámara su
documento de identificación, ocultando el número de este (En la imagen se debe ver claramente
el nombre y apellidos del estudiante). Deberá subir el link del vídeo a YouTube u otra
plataforma de vídeos y pegar el enlace debajo de la solución del ejercicio en el documento final
a entregar. El vídeo no debe superar los 3 minutos de duración.
https://www.loom.com/share/0075475ed60241db91328b6bf7d9a5d9
2. A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:
r→s p p → ~q
r q q
r p˄q ~p
a) Nombrar la ley de inferencia que representa cada expresión simbólica.
Modus ponens Conjunción Modus ponens

r→s p p → ~q
r q q
r p˄q ~p
b) Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción basada
en un contexto, el que se solicita es un contexto académico (puede usar las mismas
proposiciones simples en cada una de las 3 expresiones simbólicas seleccionadas),
ejemplo:
• p: Carlos estudia en la UNAD
• q: La UNAD es una Universidad Pública
Las proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerará como copia y se tomaran las medidas
correctivas estipuladas por la UNAD.
- p: Sebastián ingresa al campus virtual

- q: Sebastián revisa el correo institucional
- r: Sebastián lee los contenidos
- s: Sebastián realiza la tarea 1
c) Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico.
Modus ponens
r→s
r
r
Si Sebastián lee los contenidos, entonces realiza la tarea
Conjunción
p
q
p˄q
Sebastián ingresa al campus virtual y revisa el correo institucional
Modus tollendo tollens

p → ~q
q
~p
Si Sebastián ingresa al campus virtual, entonces no revisa el correo institucional. Luego,
Sebastián no ingresa al campus virtual.
3. A continuación, encontrará los argumentos para el desarrollo del ejercicio 3:
C. Voy a ver alumbrados o prendo velitas en mi casa. No voy a ver alumbrados.

a) Conclusión: ____________________________________
b) Ley de inferencia aplicada: ________________________
c) Lenguaje simbólico: ______________________________
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
a) Identificar la conclusión del argumento.
Prendo velitas
b) Nombrar la ley de inferencia que se aplica para probar el argumento.
Modus tollendo ponens

p˅q
~p
q
c) Definir la expresión del argumento en lenguaje simbólico o formal.
(p ˅ q) ~p
4. A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un

argumento para el desarrollo del ejercicio 4:
C. Expresión simbólica: {(𝑝 → 𝑞) ∧ (𝑞 ∧ ~𝑟) ∧ (𝑞 → 𝑟)} → (~𝑝)
Premisas:
P1: 𝑝 → 𝑞
P2: 𝑞 ∧ ~𝑟
P3: 𝑞 → 𝑟
Conclusión: ~𝑝
A partir de la expresión simbólica seleccionada, el estudiante deberá:
a) Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada
en un contexto, el que se solicita es un contexto académico, ejemplo:
•p: Carlos estudia en la UNAD

•q: La UNAD es una Universidad Pública
Definición de proposiciones
- p: Sebastián estudia el OVA

- q: Sebastián asiste al b – Learning
- r: Sebastián realiza la POC
b) 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.
P1: 𝑝 → 𝑞: Si Sebastián estudia el OVA, entonces asiste al b – learning

P2: 𝑞 ∧ ~𝑟: Sebastián asiste al b – learning y no realiza la POC
P3: 𝑞 → 𝑟: Si Sebastián asiste al b – learning, entonces realiza la POC
c) Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o
foto del desarrollo manual).
{(𝑝 → 𝑞) ∧ (𝑞 ∧ ~𝑟) ∧ (𝑞 → 𝑟)} → (~𝑝)

p q r ~ ~ 𝑝→𝑞 𝑞 ∧ ~𝑟 𝑞→𝑟 (𝑝 → 𝑞) ∧ (𝑞 ∧ ~𝑟) {(𝑝 → 𝑞) ∧ (𝑞 ∧ ~𝑟) ∧ (𝑞 → 𝑟)}
p r
V V V F F V F V F F V
V V F F V V V F V F V
V F V F F F F V F F V
V F F F V F F V F F V
F V V V F V F V F F V
F V F V V V V F V F V
F F V V F V F V F F V
F F F V V V F V F F V
d) Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para uso del
simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD), ubicado en el entorno
de aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación -Unidad 1-Tarea 1
-Métodos para probar la validez de argumentos.
e) Demostración de la validez del argumento mediante las leyes de la inferencia lógica
P1: 𝑝 → 𝑞: Si Sebastián estudia el OVA, entonces asiste al b – learning

P2: 𝑞 ∧ ~𝑟: Sebastián asiste al b – learning y no realiza la POC
P3: 𝑞 → 𝑟: Si Sebastián asiste al b – learning, entonces realiza la POC
Conclusión: ~𝑝
P4: ~r… simplificación de P2
P5: 𝑝 → r… silogismo hipotético (SH) entre P1 y P3
P6: ~p… modus tollendo tollens (TT) entre P5 y P4
CONCLUSIONES
- Es necesario utilizar términos del lenguaje natural como, por ejemplo: es falso que, sin
embargo, a menos que, por lo tanto, si y solo si, para dar coherencia y mejor interpretación a las
proposiciones del lenguaje simbólico.
- Cuando un argumento tiene más de tres proposiciones simples diferentes, no es fácil

determinar su validez o invalidez por medio de las tablas de verdad, por este motivo es
conveniente utilizar las reglas de inferencia y las reglas de reemplazo
- Mientras más proposiciones se tengan es más tedioso y complicado realizar la tabla de verdad,
esto conlleva a incurrir en errores muy fácilmente.
BIBLIOGRAFÍA
Aguila, R. P. (2013). Matemáticas discretas y teoría de grafos. Santa Fe: El Cid Editor. Obtenido
de https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59
Becerra, J. F. (2015). Matemáticas discretas: aplicaciones y ejercicios. México D.F: Grupo

Editorial Patria. Obtenido de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=30
Curo, A. (2015). Matemática básica para administradores. Lima: Universidad Peruana de

Ciencias Aplicadas (UPC). Obtenido de https://elibro-
Vallejo, R. R. (2014). Conjuntos numéricos, estructuras algebráicas y fundamentos de álgebra

lineal. Madrid: Editorial Tébar Flores. Obtenido de https://elibro-

Tarea 1 - Métodos para Probar La Validez de Argumentos

Cargado por

Copyright:

Formatos disponibles

Tarea 1 - Métodos para Probar La Validez de Argumentos

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tarea 1 - Métodos para Probar La Validez de Argumentos

Cargado por

Copyright:

Formatos disponibles

TAREA 1 – MÉTODOS PARA PROBAR LA VALIDÉZ DE ARGUMENTOS

CARLOS ALBERTO RAMÍREZ RESTREPO

MARY ORTEGA GONZÁLEZ

PENSAMIENTO LÓGICO Y MATEMÁTICO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

C. p: Estudiamos para el parcial

a) Escriba la proposición compuesta propuesta en lenguaje natural.

Estudiamos para el parcial y no nos distraemos estudiando, o no nos dormimos estudiando

Se clasifica como contingencia

a) Nombrar la ley de inferencia que representa cada expresión simbólica.

Modus ponens Conjunción Modus ponens

- p: Sebastián ingresa al campus virtual

c) Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico.

Modus tollendo tollens

C. Voy a ver alumbrados o prendo velitas en mi casa. No voy a ver alumbrados.

a) Identificar la conclusión del argumento.

b) Nombrar la ley de inferencia que se aplica para probar el argumento.

Modus tollendo ponens

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

4. A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un

•p: Carlos estudia en la UNAD

- p: Sebastián estudia el OVA

b) Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

P1: 𝑝 → 𝑞: Si Sebastián estudia el OVA, entonces asiste al b – learning

{(𝑝 → 𝑞) ∧ (𝑞 ∧ ~𝑟) ∧ (𝑞 → 𝑟)} → (~𝑝)

P1: 𝑝 → 𝑞: Si Sebastián estudia el OVA, entonces asiste al b – learning

- Cuando un argumento tiene más de tres proposiciones simples diferentes, no es fácil

Becerra, J. F. (2015). Matemáticas discretas: aplicaciones y ejercicios. México D.F: Grupo

Curo, A. (2015). Matemática básica para administradores. Lima: Universidad Peruana de

Vallejo, R. R. (2014). Conjuntos numéricos, estructuras algebráicas y fundamentos de álgebra

También podría gustarte