Plantilla Tarea 2

1
Unidad 2 – Tarea 2 Métodos para probar la validez de argumentos
Cristina Isabel Amaris Martínez – Código 1235245225
Pensamiento Lógico y Matemático 200611
Grupo 576
Director-Tutor
Darwin William Barros
Universidad Nacional Abierta y a Distancia - UNAD
Escuela de Ciencias de la educación – Licenciatura en lenguas extranjeras con énfasis en inglés.
2023
2
Introducción
El presente trabajo se trata de los métodos para comprobar la validez de los argumentos.
Veremos conectores lógicos, leyes de inferencia, tablas de verdad, premisas y proposiciones,
aprenderemos la definición de cada uno de estos elementos y aprenderemos para qué y cómo se
usan a la hora de comprobar la validez de un argumento. Para la realización de este trabajo
estuvimos indagando en el material de apoyo que nos brinda la unidad 2.

3
Objetivos
 Aprender a aplicar los métodos para probar la validación de argumentos.
 Realizar correctamente las tablas de verdad.
 Aprender definiciones y su aplicación.

4
Ejercicio 1: Proposiciones y tablas de verdad
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
➢Escribir la proposición compuesta propuesta en un lenguaje natural.
El calentamiento global es un gran problema de la humanidad Y el calentamiento global genera
desastres naturales. POR LO TANTO 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.
- El resultado es una contingencia.
p r s (p^r) [ ( p ^ r ) ➡️s
V V V V V
V V F V F
V F V F V
V F F F V
F V V F V
F V F F V
F F V F V
5
F F F F V
➢ Generar la tabla de verdad a través del simulador Lógica UNAD.

6
Link vídeo explicativo ejercicio 1: xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
Ejercicio 2: Aplicación de las reglas de inferencia lógica
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:
b. Ley de inferencia aplicada: Silogismo Hipotético (SH)
c. Conclusión: p ➡️r “ Si un estudiante UNAD participa oportunamente en los foros ENTONCES
el estudiante aprueba el curso”.

7
Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica
- 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 aplicada Premisas usadas.
p5: r v s Dilema constructivo p1, p2, p3
p6: s Tollendo ponens p4, p5
p7: p v s Ley de adición p6

8
➢ Realizar la tabla de la verdad mediante el simulador de lógica Unad Anexo 6 - (Simulador
Lógica UNAD).
9
➢ 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.
Expresión simbólica: [ (p →r) ∧ (~q ᴧ r) ∧ (~r ∨ q)]→~p
P1: (p →r)
P2: (~q ᴧ r)
P3: (~r ∨ q)
Conclusión: ~p
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.
- p: Laura llegó tarde al trabajo
- q: Hoy hubo mucho tráfico
- r: Despidieron a Laura
➢ Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.
- Laura llegó tarde al trabajo ENTONCES despidieron a Laura Y NO ES CIERTO QUE
hoy hubo mucho tráfico Y despidieron a Laura Y NO ES CIERTO QUE despidieron a

10
Laura O que hoy hubo mucho tráfico. POR LO TANTO NO ES CIERTO QUE Laura
llegó tarde al trabajo.
➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel
o foto del desarrollo manual).
➢ Generar la tabla de verdad a través del simulador Lógica UNAD.

11
Conclusiones
A través de este trabajo aprendimos qué son las premisas y proposiciones, cuáles son los
conectores lógicos, como representar un lenguaje simbólico y natural, cuáles son las leyes de
inferencia, cómo sacar una conclusión a través de estas leyes, cómo clasificar resultados, cómo
realizar una tabla de verdad manual y a través de simulador.

12
Referencias Bibliográficas
Castaño, C. (2019). Leyes de la inferencia. [Objeto Virtual de Aprendizaje OVA]. Repositorio
Institucional UNAD. https://repository.unad.edu.co/handle/10596/31590

Plantilla Tarea 2

Cargado por

Copyright:

Formatos disponibles

Plantilla Tarea 2

Cargado por

Información del documento

Descripción 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

Plantilla Tarea 2

Cargado por

Copyright:

Formatos disponibles

1

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

Cristina Isabel Amaris Martínez – Código 1235245225

Pensamiento Lógico y Matemático 200611

Darwin William Barros

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias de la educación – Licenciatura en lenguas extranjeras con énfasis en inglés.

Veremos conectores lógicos, leyes de inferencia, tablas de verdad, premisas y proposiciones,

usan a la hora de comprobar la validez de un argumento. Para la realización de este trabajo

estuvimos indagando en el material de apoyo que nos brinda la unidad 2.

 Aprender a aplicar los métodos para probar la validación de argumentos.

 Realizar correctamente las tablas de verdad.

 Aprender definiciones y su aplicación.

Ejercicio 1: Proposiciones y tablas de verdad

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

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

El calentamiento global es un gran problema de la humanidad Y el calentamiento global genera

desastres naturales. POR LO TANTO la descarbonización de las energías ayuda a mitigar el

➢ 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.

- El resultado es una contingencia.

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

Link vídeo explicativo ejercicio 1: xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

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

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

b. Ley de inferencia aplicada: Silogismo Hipotético (SH)

c. Conclusión: p ➡️r “ Si un estudiante 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

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

Premisa Ley de inferencia aplicada Premisas usadas.

p5: r v s Dilema constructivo p1, p2, p3

p6: s Tollendo ponens p4, p5

p7: p v s Ley de adición p6

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

Ejercicio 4: Problemas de aplicación.

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

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

basada en un contexto, el que se solicita es un contexto académico y/o de problemas de su entorno.

predicado. Mínimo 7 palabras.

- p: Laura llegó tarde al trabajo

- q: Hoy hubo mucho tráfico

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

- Laura llegó tarde al trabajo ENTONCES despidieron a Laura Y NO ES CIERTO QUE

hoy hubo mucho tráfico Y despidieron a Laura Y NO ES CIERTO QUE despidieron a

llegó tarde al trabajo.

o foto del desarrollo manual).

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

realizar una tabla de verdad manual y a través de simulador.

Castaño, C. (2019). Leyes de la inferencia. [Objeto Virtual de Aprendizaje OVA]. Repositorio

Institucional UNAD. https://repository.unad.edu.co/handle/10596/31590

También podría gustarte