Está en la página 1de 6

PENSAMIENTO LOGICO MATEMATICO.

TAREA 4 – SUSTENTACION.

ESTUIDANTE:
JUAN DIEGO LOPEZ REYES.

TUTOR:
JHON FREDY RUANO.

GRUPO:
200611_415

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


(UNAD),
PASTO (Nariño).
Ejercicio 2:

Expresión simbólica: {[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔)


Premisas: P1: (𝑝 → 𝑞) ∨ 𝑟
P2: 𝑟 →∼ 𝑝
P3: 𝑝 ∧ 𝑠
Conclusión: 𝑞 ∧ s

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: Juan está en 2° semestre de Psicología.

q: Juan Estudia en la UNAD.

r: Juan Estudia Pensamiento Lógico Matemático.

s: La UNAD es una universidad pública.

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

Rta/ Si Juan está en 2° semestre de Psicología Entonces Juan estudia en la UNAD O Juan
Estudia Pensamiento Lógico Matemático. Y Si Juan Estudia Pensamiento Lógico
Matemático Entonces Juan No está en 2° semestre de Psicología. Y si Juan esta en 2°
semestre de Psicología Y la UNAD es una universidad pública. Entonces Juan Estudia en
la UNAD Y La UNAD es una universidad pública

{[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔).


• Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos Simulador
Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de acceso al
recurso).
 Resultado de la tabla de verdad: TAUTOLOGÍA

• Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

 Resultado de la tabla de verdad: TAUTOLOGÍA

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

Expresión simbólica:
{[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔)
Premisas:
P1: (𝑝 → 𝑞) ∨ 𝑟
P2: 𝑟 →∼ 𝑝
P3: 𝑝 ∧ 𝑠
Conclusión: 𝑞 ∧ s
Ley de la Conmutatividad. Aplicada a la p3.
𝑝∧𝑠
s∧p
p4: s ∧ p

Ley de Simplificación. (S). Aplicada a la p4.


s∧p
s
p5: s

Ley de Simplificación. (S). Aplicada a la p2.


𝑟 →∼ 𝑝
∼𝑝
P6: ∼ 𝑝

Ley de Simplificación. (S). Aplicada a la p1.


(𝑝 → 𝑞) ∨ 𝑟
𝑝→𝑞
P7: 𝑝 → 𝑞

Ley de Conmutatividad. Aplicada a la p7.


𝑝→𝑞
𝑞→𝑝
P8: 𝑞 → 𝑝
Ley de Simplificación. (s). Aplicada a la p8.
𝑞→𝑝
𝑞
P9 𝑞

Ley de Conjunción. (C). Aplicada a la p9 y p5.


𝑞
𝑠
𝑞∧s
P10: 𝑞 ∧ s

Conclusión: 𝑞 ∧ s

También podría gustarte