TAREA 3

RONALDO HERRERA HERNANDEZ

90004_13

TUTOR

LUIS ENRIQUE LEIVA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

ESCUELA DE CIANCIAS BASICAS TECNOLOGIA E INGENIERIA

TECNOLOGIA EN DESARROLLO DE SOFTWARE

SAN FRANCISCO

2019
 a. Expresión simbólica: [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ∧ (𝑝 ∧ 𝑠)] → (𝑟)

Premisas:

P1: 𝑝 → 𝑞

P2: 𝑞 → 𝑟

P3: 𝑝 ∧ 𝑠

Conclusión: 𝒓

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, ejemplo:

p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública

 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural. Las proposiciones simples deben ser de autoría de
cada estudiante, por lo que de encontrar proposiciones iguales entre
estudiantes se considerara como copia y se tomaran las medidas
correctivas estipuladas por la UNAD.

 Generar una tabla de verdad con el simulador Truth Table 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)

 Generar una tabla de verdad manualmente a partir del lenguaje

simbólico (En Word, Excel o foto del desarrollo manual).

Demostración de la validez del argumento mediante las leyes de la

inferencia lógica

PROPOSICIONES SIMPLES:

p: Kevin estudia desarrollo de software

q: estudia con su amigo

r: estudia en faca

s: Matemáticas

 Si Kevin estudia desarrollo de software entonces estudia con su amigo, Si estudia

con su amigo entonces estudia en faca, Kevin estudia desarrollo de software y

matemáticas, Por lo tanto Kevin estudia en faca

Premisa 1: 𝑝 → 𝑞

Premisa 2: 𝑞 → 𝑟

Premisa 3: 𝑝 ∧ 𝑠

𝑝⋀𝑠
Premisa 4: Simplificación P simplificación en p3
𝑝

𝑝→𝑞
Premisa 5: Modus ponnendo ponnens 𝑝 q modus ponendo ponnes en p1
𝑞
 𝑞→𝑟
Premisa 6: Modus Ponendo ponens 𝑞 R modus ponendo ponens en p2
𝑟