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
 INTRODUCCION

Este trabajo está hecho con el fin de explicar al tutor el desarrollo de los ejercicios propuestos en

la guía de actividades a desarrollar.

EJERCICIO 1:

b. Se realizó una encuesta los estudiantes de Lógica Matemática, a

acerca de sus preferencias en el uso de las redes sociales y se
obtuvieron los siguientes resultados:
 60 prefieren Facebook,
 25 prefieren twitter,
 10 prefieren Instagram,
 2 prefieren las tres redes sociales,
 10 prefieren Facebook y twitter,
 2 prefieren Facebook y Instagram
 4 prefieren twitter y Instagram,
 4 no tiene preferencia por ninguna red social

A partir de la situación planteada dar respuesta las siguientes preguntas:

 ¿Cuántos estudiantes prefieren únicamente Instagram?

 ¿Cuántos estudiantes prefieren únicamente twitter?
 ¿Cuántos estudiantes prefieren Facebook e Instagram?
 ¿Cuántos estudiantes fueron encuestados?

F T
50 8 13
2 3
- 2
4
6

I
 2 estudiantes prefieren únicamente instagram

 13 estudiantes prefieren únicamente twitter

 68 estudiantes prefieren Facebook e instagram

 81 estudiantes fueron encuestados

EJERCICIO 2:

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: Kevin estudia con su amigo

r: Kevin estudia en faca

s: Kevin entiende Matemáticas

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

estudia con su amigo entonces Kevin estudia en faca estudia en faca, Kevin estudia

desarrollo de software y Kevin entiende 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 ponendo ponens 𝑝 q modus ponendo ponnes en P1 y P3
𝑞
 𝑞→𝑟
Premisa 6: Modus Ponendo ponens 𝑞 R modus ponendo ponens en P2 y P5
𝑟