UNIDAD 1 - TAREA 1 - MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

YULI ANDREA VIVAS GONZALEZ

CODIGO:1052411086

PRESENTADO A
CARLOS EDUARDO OTERO MURILLO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

LICENCIATURA EN PEDAGOGIA INFANTIL
PENSAMIENTO LOGICO MATEMATICO
CEAD DUITAMA BOYACA
Ejercicio 3: Aplicación de las reglas de la inferencia lógica

Descripción del ejercicio:

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

A. Si la suma es 4+3 entonces, es igual a la suma de 6+1. Si la suma es 6+1 entonces es igual
a la suma 5+2.

Solución:

a. Conclusión: __Por lo tanto, si la suma es 4+3 entonces, es igual a la suma 5+2.___

b. Ley de inferencia aplicada: __Silogismo hipotético______

c. Lenguaje simbólico:

p →qq → r ¿¿∴ p → r

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:

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

 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

p: la UNAD es una universidad virtual

q: los estudiantes de Duitama están estudiando desde casa

r: la UNAD tiene muchos programas académicos

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

La UNAD es una universidad virtual o los estudiantes de Duitama están estudiando desde casa.
Si la UNAD es una universidad virtual, entonces la UNAD tiene muchos programas académicos.
La UNAD no tiene muchos programas académicos y los estudiantes de Duitama no están
estudiando desde casa. Por lo tanto, la UNAD es una universidad virtual y tiene muchos
programas académicos.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

{ ( p ∨q ) ∧ ( p → r ) ∧ ( ¬r ∧¬ q ) } → ( p ∧r )
 p q r ¬ q ¬ r ( p ∨q ) ( p →r ) ( ¬r ∧¬ q ) ( p ∨q ) ∧ ( p → r{)( p ∨q ) ∧ ( p (→
p ∧r
r ) ∧) ({¬r
( p ∨q
∧¬) ∧
q ) (} p → r ) ∧ ( ¬r ∧¬ q ) } → ( p ∧

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

 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

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

{ ( p ∨q ) ∧ ( p → r ) ∧ ( ¬r ∧¬ q ) } → ( p ∧r )

P1: p ∨q
P2: p →r

P3: ¬ r ∧¬ q

P4: ¬ q … … … … … Simplificación en P 3

P5: p … … … … … … Tollendo Ponens entre P 1 y P 4

P6: r … … … … … … … Ponendo Ponens entre P 2 y P5

P7: p ∧r … … … … … … … Adjuncióno Conjunci ó n entre P 5 y P 6