Académique Documents
Professionnel Documents
Culture Documents
TUTOR:
ADRIAN RUEDA
DISTANCIA UNAD
Ejercicio 1: Aplicación de la Teoría de Conjuntos
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.
I S
E
• ¿Cuántos aspirantes fueron encuestados?
90 aspirantes fueron encuestados
{[p→(q→r)]Λ(rΛp)Λ(sVq)Λ¬q}→sΛ(q→r)
Premisas:
P1: 𝑝 → (𝑞 → 𝑟)]
P2: rΛp
P3: sVq
P4: ¬q
Conclusión: sΛ(q→r)
Definición de las proposiciones simples, Se deben inventar las
proposiciones simples.
p: La casa es roja
q: El carro es verde
r: La luna es blanca
s: La tierra es redonda
Lenguaje natural de la expresión formal
Si la casa es roja, entonces si el carro es verde entonces la luna es
blanca Y La luna es blanca y La casa es roja, y La tierra es redonda o el
carro es verde, el carro no es verde. Por lo tanto, La tierra es redonda y,
si el carro es verde entonces la luna es blanca.
P q r p→ (𝑞 → rΛp sVq ¬q p→(q→r)]Λ(rΛp)Λ(sVq)Λ¬q}→sΛ(q→r)
𝑟)
V V V V V V V V
V V F V F F F V
V F V F V F F V
V F F F F F F V
F V V F V F V V
F V F F V F F V
F F V F V F F V
F F F F v F f V
Resultado de la tabla de verdad: TAUTOLOGÍA
Bibliografía
Proposiciones categóricas
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal, MÉXICO:
Grupo Editorial Patria. (pp. 61- 65) Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=72&docID=4569631&tm=
1529336365580
Leyes de Inferencia
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 78 -
99). Ediciones Elizcom, Madrid. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=81&docID=3199701&tm=
1529336485971