Académique Documents
Professionnel Documents
Culture Documents
Tarea 1
PRESENTADO POR:
CODIGO:
1010046305
ENTREGADO A:
A continuación, encontrará una serie de situaciones en contextos reales, las cuales deberán
ser analizadas por el estudiante para el desarrollo del ejercicio 1
c. Los siguientes son los datos que muestran las preferencias de algunos aspirantes a
ingresar a la Universidad Nacional Abierta y a Distancia para ciertos programas de
Ingeniería:
50 prefieren Industrial.
47 prefieren Sistemas.
35 prefieren Electrónica.
16 prefieren Sistemas y Electrónica.
11 prefieren Industrial y Sistemas.
15 prefieren Industrial y Electrónica.
9 prefieren las tres.
∪
33
6 2
9
13 7 29
E S
De acuerdo con lo anterior, responder las siguientes preguntas:
33
6 2
9
13 7 29
E S
6 2
9
E S
6 2
9
E S
6 2
9
E S
6 2
9
E
S
c. Expresión simbólica:
{[ p → ( q →r ) ] ∧ ( r ∧ p ) ∧ ( s ∨q ) ∧ ( ¬q ) } →[s ∧ ( q →r ) ].
Premisas:
P1: p→ ( q → r )
P2: r ∧ p
P3: s ∨q
P3: ¬q
Conclusión: s ∧ ( q → r )
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: ir a la UNAD en bus
q: ir a la UNAD en bicicleta
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).