Actividad Letra D PLM

Métodos para probar Validez de Argumentos
Danna Rodríguez – Código:1105780158

Pensamiento Lógico y Matemático 200611
Profesional en seguridad y salud en el trabajo
Código:
1394
Director-Tutor
Lida Margarita Zambrano
Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería
2023
Introducción
Se implementará en este trabajo la identificación de las proposiciones, de igual forma, se

desarrollará su lenguaje simbólico y natural, se aplicarán las tablas de verdad con el fin de
determinar si es una tautología, contingencia o contradicción y como comprobación se usa
como apoyo el simulador. También se encontrará la demostración de argumentos por medio
de las tablas de inferencia.
Objetivo
General
Interpretar adecuadamente las tablas de verdad y reglas de inferencia para probar la

validez de argumentos.
Específicos
 Identificar como esta conformada las proposiciones

 Desarrollar el lenguaje simbólico y natural de las proposiciones.
 Realizar tablas de verdad con base en el lenguaje simbólico
 Interpretar las leyes de inferencia
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.
(𝑝 → ~q) ∧ (r → q)
 Escribir la proposición compuesta del leguaje simbólico en un lenguaje natural.
El cambio climático tiene impacto negativo en los ecosistemas entonces las actividades
humanas no contribuyen al cambio climático y 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 ~p ~q p→~q r→q (𝑝 → ~q)

∧ (r → q)
v v v f f F v f
v v f f f F v f
v f v f v V f f
v f f f v V v v
f v v v f V v v
f v f v f V v v
f f v v v V f f
f f f v v V v v
El resultado que muestra la tabla de verdad es una Contingencia.
 Generar la tabla de verdad a través del simulador Lógica UNAD.
 Realizar un vídeo de 5 minutos máximo
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'".
 Definir cuáles son las proposiciones simples que intervienen en el argumento.
p: Sofia tiene conocimientos previos
q: Sofia comprende nuevos conceptos
r: Sofia podrá aplicar correctamente nuevos conceptos
 Identificar los conectores que intervienen en el argumento.
"'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'".
 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.
Es una Contingencia.
Ejercicio 3:
Demostración de un argumento usando las reglas de la inferencia lógica
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
P1= (p ∨ q)
P2= (p → ~r)
P3= (q → ~r)
Conclusión ~r
Ley Utilizada Simplificación Disyuntiva
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)
 Definir las proposiciones simples, tendrá la libertad de definirlas bajo una

descripción basada en un contexto académico o social. Las proposiciones simples
deben contener 1. Sujeto, 2. Verbo y 3. Predicado
p: La ciudad está muy contaminada

q: Los niños tiran la basura a la calle
r: En las casas reciclan para reducir la contaminación
 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.
[(p ˅∼r) ∧ (∼r→ q) ∧ (p→r)]→ (q ˅ r)
La ciudad está muy contaminada o l En las casas reciclan para reducir la

contaminación y si En las casas no reciclan para reducir la contaminación entonces
Los niños tiran la basura a la calle y La ciudad está muy contaminada entonces En
las casas reciclan para reducir la contaminación. Entonces Los niños tiran la basura
a la calle o En las casas reciclan para reducir la contaminación
 Complete la tabla de demostración de la validez del argumento mediante leyes de

inferencia lógica.
D. Expresión simbólica: [(p ˅∼r) ∧ (∼r→ q) ∧ (p→r)]→ (q ˅ r)
Demostración
P1= [(p ˅∼r) Premisas Dadas
P2= (∼r→ q)
P3= (p →r)
Premisas Ley Aplicada Premisas Usadas
P4= (q ˅ r) Silogismo Disyuntivo P1, P2, P3
Conclusiones
Se puede evidenciar la importancia de conocer e interpretar adecuadamente las tablas de

verdad, su lenguaje simbólico y los métodos para probar validez, como herramienta
interpretativa para el desarrollo de la vida cotidiana, lo cual permite comprobar, analizar y
sacar conclusiones importantes.
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.

Actividad Letra D PLM

Cargado por

Copyright:

Formatos disponibles

Actividad Letra D PLM

Cargado por

Información del documento

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

Actividad Letra D PLM

Cargado por

Copyright:

Formatos disponibles

Métodos para probar Validez de Argumentos

Danna Rodríguez – Código:1105780158

Universidad Nacional Abierta y a Distancia - UNAD

Se implementará en este trabajo la identificación de las proposiciones, de igual forma, se

Interpretar adecuadamente las tablas de verdad y reglas de inferencia para probar la

 Identificar como esta conformada las proposiciones

 Escribir la proposición compuesta del leguaje simbólico en un lenguaje natural.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico y

p q r ~p ~q p→~q r→q (𝑝 → ~q)

El resultado que muestra la tabla de verdad es una Contingencia.

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

 Realizar un vídeo de 5 minutos máximo

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

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

p: Sofia tiene conocimientos previos

q: Sofia comprende nuevos conceptos

r: Sofia podrá aplicar correctamente nuevos conceptos

 Identificar los conectores que intervienen en el argumento.

 Construir el lenguaje simbólico correspondiente al argumento.

(p→q) ˄ (q→r) ↔ (p→r)

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

A continuación, encontrará un argumento para el desarrollo del ejercicio 3, usted deberá

Descripción del ejercicio: A continuación, encontrará la expresión simbólica, las premisas

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

 Definir las proposiciones simples, tendrá la libertad de definirlas bajo una

p: La ciudad está muy contaminada

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

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

La ciudad está muy contaminada o l En las casas reciclan para reducir la

 Complete la tabla de demostración de la validez del argumento mediante leyes de

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

Se puede evidenciar la importancia de conocer e interpretar adecuadamente las tablas de

También podría gustarte