460 - Tarea 2 - Angelica Vasquez..

1
Unidad 2 – Tarea 2 Métodos para probar la validez de argumentos
Angelica María Vásquez Safra – Código 1121965149
Pensamiento Lógico y Matemático 200611
Grupo (200611E_1391)
Director-Tutor
Carla Milena Gómez Cabrera
Universidad Nacional Abierta y a Distancia - UNAD
Escuela de Ciencias de la Salud, Tecnología en Radiología e Imágenes Diagnosticas
2023
2
Introducción
El presente trabajo contempla cuatro actividades que conciernen con la lógica
proposicional, las cuales desarrollan la validación de teoremas, tablas de verdad y la aplicación de
las leyes de inferencia para demostrar la validez de los argumentos propuestos, poniéndolos a
prueba de conocimiento e inteligencia de argumento lógico para enfrentar las situaciones similares
que se nos presentan en a la actualidad.
Mediante el pensamiento lógico matemático, se edifica a una persona combinando
experiencias coexistidas con la manipulación de objetos, de igual manera, empieza a comprender
los conceptos de razonamiento abstracto y de relaciones, por lo que, este tema, resulta más
significativo que las matemáticas como tal y contribuye a un desarrollo integral del individuo.
3
Objetivos
General
Interpretar adecuadamente las tablas de verdad y reglas de inferencia para probar la
validez de argumentos.
Específicos
Identificar y aplicar las tablas de verdad y las leyes de inferencia para probar la validez de
un argumento.
Reconocer la importancia del pensamiento lógico matemático.
Identificar y aplicar proposiciones simples, compuestas y conectores lógicos.
Aprender y aplicar el lenguaje simple y natural.

4
Ejercicio 1: Proposiciones y tablas de verdad
Espacio para solución del ejercicio 1: LETRA B:
p: El calentamiento global es un gran problema de la humanidad.

r: El calentamiento global genera desastres naturales
s: La descarbonización de las energías ayuda a mitigar el calentamiento global
(𝑝 ᴧ r) → s
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
- Escribir la proposición compuesta propuesta en un lenguaje natural.

Si El calentamiento global es un gran problema de la humanidad y el calentamiento global genera
desastres natrales, entonces, la descarbonización de las energías ayuda a mitigar el calentamiento
global.
- 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.
(𝑝 ᴧ r) → s
Formula: 23= 2x2x2=8
p q R (𝑝 ᴧ r) [(𝑝 ᴧ r) → s] r
V V V V V V
V V F V F F
V F V F V V
V F F F V F
F V V F V V
F V F F V F
F F V F V V
F F F F V F
La respuesta definitiva es una combinación de F y V, por lo tanto, se obtuvo una

CONTINGENCIA.
5
- 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.
Link vídeo explicativo ejercicio 1:
Ejercicio 2: Aplicación de las reglas de inferencia lógica
Espacio para solución del ejercicio 2
A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:
B. Si un estudiante de la Unad participa oportunamente en los foros, entonces se apropia del

conocimiento. Si el estudiante se apropia del conocimiento, entonces el estudiante aprueba el
curso.
a. Lenguaje simbólico:
p1= (p →q)
p2=(q→r)
Conclusión: (p →r)
b. Ley de inferencia aplicada:
SH silogismo hipotético
6
c. Conclusión:
Si un estudiante de la unad participa oportunamente en los foros, entonces el estudiante aprueba el

curso.
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.
B. Expresión simbólica
[(p v q) ᴧ (p→ r) ᴧ (q →s) ᴧ ~r]→ (s v p)
P1: p v q Conclusión: s v p
P2: p→ r
P3: q→s
P4: ~ r
Demostración:
Premisa Ley de inferencia Premisas usadas
P5: r v s Silogismo Disyuntivo (DS) P1, P2 Y P3
P6: s Modells Tollendo ponens P5 Y P4
(DN)
P7: p v s Ley de Adición (LA) P1 y P4
Realizar la tabla de la verdad mediante el simulador de lógica Unad Anexo 6 -

(Simulador Lógica UNAD), Completar la tabla, estableciendo cada la ley de
inferencia y las premisas utilizadas para avanzar en la demostración.
-
7
Ejercicio 4: Problemas de aplicación.
A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento

para el desarrollo del ejercicio 4:
B. Expresión simbólica:
[ (p →r) ∧ (~q ᴧ r) ∧ (~r ∨ q)]→~p
P1: (p →r)
P2: (~q ᴧ r)
P3: (~r ∨ q)
Conclusión: ~p
8
A partir de la expresión simbólica seleccionada, el estudiante deberá:
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 y/o de problemas de su entorno.
Las proposiciones simples deben contener 1. Sujeto, 2. Cópula, acción o verbo y 3.
Complemento predicado. Mínimo 7 palabras.
B. Expresión simbólica: [ (p →r) ∧ (~q ᴧ r) ∧ (~r ∨ q)]→~p

P1: (p →r)
P2: (~q ᴧ r)
P3: (~r ∨ q)
Conclusión: ~p
p: la computadora académica de Daniel necesita mantenimiento
q: la lleva al almacén
r: la lleva al local de Oscar
Lenguaje natural de la exposición formal
p →q : Si la computadora académica de Daniel necesita mantenimiento entonces, el la lleva al

almacén
¬q→r: Si el no la lleva al almacén y, la lleva al local de Oscar
~r ∨ q: Si el no la lleva al local de Oscar o la lleva al almacén

Premisa Ley de inferencia Premisas usadas
P4: Modells Tollendo ponens
(MTP)
P5: (MPP)
P6: ADJUNCION
9
Demostración de la validez del argumento mediante las leyes de la inferencia lógica.

10
Conclusiones
La función que realizan las tablas de verdad es esencial para analizar y determinar el
valor de verdad de una declaración, lo que facilita saber si una fórmula es verdadera y permite que
las personas prueben o refuten la validez de un argumento.
Las leyes de inferencia desarrollan la capacidad de formular argumentos y
analizarlos críticamente. También confirman que la misma aplicación de la mente se puede
aplicar a diferentes aspectos de la vida de la misma persona.
Para probar y refutar un argumento por deducción, sacamos conclusiones de las premisas.
11
Referencias Bibliográficas
Curo, A. (2015). Matemática básica para administradores. Universidad Peruana de
Ciencias Aplicadas (UPC). (pp. 13-27).
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).

460 - Tarea 2 - Angelica Vasquez..

Cargado por

Copyright:

Formatos disponibles

460 - Tarea 2 - Angelica Vasquez..

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

460 - Tarea 2 - Angelica Vasquez..

Cargado por

Copyright:

Formatos disponibles

1

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

Angelica María Vásquez Safra – Código 1121965149

Pensamiento Lógico y Matemático 200611

Carla Milena Gómez Cabrera

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias de la Salud, Tecnología en Radiología e Imágenes Diagnosticas

El presente trabajo contempla cuatro actividades que conciernen con la lógica

proposicional, las cuales desarrollan la validación de teoremas, tablas de verdad y la aplicación de

que se nos presentan en a la actualidad.

Mediante el pensamiento lógico matemático, se edifica a una persona combinando

experiencias coexistidas con la manipulación de objetos, de igual manera, empieza a comprender

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

Reconocer la importancia del pensamiento lógico matemático.

Identificar y aplicar proposiciones simples, compuestas y conectores lógicos.

Aprender y aplicar el lenguaje simple y natural.

Ejercicio 1: Proposiciones y tablas de verdad

Espacio para solución del ejercicio 1: LETRA B:

p: El calentamiento global es un gran problema de la humanidad.

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

desastres natrales, entonces, la descarbonización de las energías ayuda a mitigar el calentamiento

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

Formula: 23= 2x2x2=8

La respuesta definitiva es una combinación de F y V, por lo tanto, se obtuvo una

Link vídeo explicativo ejercicio 1:

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

Espacio para solución del ejercicio 2

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

B. Si un estudiante de la Unad participa oportunamente en los foros, entonces se apropia del

Si un estudiante de la unad participa oportunamente en los foros, entonces el estudiante aprueba el

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á

Espacio para solución del ejercicio 3

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

Premisa Ley de inferencia Premisas usadas

P5: r v s Silogismo Disyuntivo (DS) P1, P2 Y P3

P6: s Modells Tollendo ponens P5 Y P4

P7: p v s Ley de Adición (LA) P1 y P4

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

Ejercicio 4: Problemas de aplicación.

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

[ (p →r) ∧ (~q ᴧ r) ∧ (~r ∨ q)]→~p

Espacio para solución del ejercicio 4

A partir de la expresión simbólica seleccionada, el estudiante deberá:

B. Expresión simbólica: [ (p →r) ∧ (~q ᴧ r) ∧ (~r ∨ q)]→~p

r: la lleva al local de Oscar

Lenguaje natural de la exposición formal

p →q : Si la computadora académica de Daniel necesita mantenimiento entonces, el la lleva al

¬q→r: Si el no la lleva al almacén y, la lleva al local de Oscar

~r ∨ q: Si el no la lleva al local de Oscar o la lleva al almacén

P4: Modells Tollendo ponens

Demostración de la validez del argumento mediante las leyes de la inferencia lógica.

las personas prueben o refuten la validez de un argumento.

Las leyes de inferencia desarrollan la capacidad de formular argumentos y

analizarlos críticamente. También confirman que la misma aplicación de la mente se puede

aplicar a diferentes aspectos de la vida de la misma persona.

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

Ciencias Aplicadas (UPC). (pp. 13-27).

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