Lógica Matemática

Unidad 1 y 2: Tarea 3 - Sustentación Unidades 1 o 2

Unidades 1 y 2 Principios de Lógica y Razonamientos Lógicos

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIA ADMINISTRATIVAS, CONTABLES, ECONÓMICAS, Y
DE NEGOCIOS ECACEN
ADMINISTRACIÓN DE EMPRESAS
PUERTO COLOMBIA –ATLANTICO
08/05/19

Ejercicio 1: Aplicación de la Teoría de Conjuntos

Descripción del ejercicio:

a. 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.
 Lógica Matemática

I: INDUSTRIAL
S: SISTEMAS
E: ELECTRONICA

De acuerdo con lo anterior, responder las siguientes preguntas:

 ¿Cuántos aspirantes fueron encuestados?

90

 ¿Cuántos aspirantes prefieren únicamente Industrial?

33

 ¿Cuántos aspirantes no prefieren Electrónica?

55
 Lógica Matemática

 ¿Cuántos aspirantes prefieren Industrial o Electrónica pero no Sistemas?

43

 ¿Cuántos aspirantes prefieren Industrial o Sistemas?

77

Ejercicio 2

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 )

Desarrollo
Premisas simples:
p: Juan es un trabajador
q: Juan quiere que aumenten su salario
r: Juan se vuelve más eficiente en su trabajo
s: Juan no quiere aumentar su sueldo
Si Juan es un trabajador, entonces pretende que aumente su salario, por tanto, se vuele más
eficiente en su trabajo y Juan es un trabajador. Ya no quiere aumentar su salario o pretende
aumentar su salario. No pretende aumentar su salario. Entonces ya no quiere aumentar sueldo, si
pretende aumentar su sueldo entonces se vuelve más eficiente.

Expresión simbólica:
 Lógica Matemática

{[ p → ( q →r ) ] ∧ ( r ∧ p ) ∧ ( s ∨q ) ∧ ( ¬q ) } →[s ∧ ( q → r ) ].
Premisas:
P1: p → ( q → r )
P2: r ∧ p
P3: s ∨q
P4: ¬ q

Conclusión: s ∧ ( q → r )

P5) p simplificación p2
P6) r simplificación p2
P6) q→ r PP (p1)(p5)
P7) s TP (P3)
P8) s ∧ ( q → r ) adjunción (P6)(P7)
 Lógica Matemática

p q r s ¬q q→r [p→(q→r)] rᴧp sᴠq (rᴧp)ᴧ(sᴠq) (rᴧp)ᴧ(sᴠq)ᴧ(¬q) {[p→(q→r)]ʌ… (¬q)} [sʌ(q→r)] {[p→(q→r)]ʌ(rʌp)ʌ(sᴠq)ʌ(¬q)}→[sʌ(q→r)]
V V V V F V V V V V F F V V
V V V F F V V V V V F F F V
V V F V F F F F V F F F F V
V V F F F F F F V F F F F V
V F V V V V V V V V V V V V
V F V F V V V V F F F F F V
V F F V V V V F V F F F V V
V F F F V V V F F F F F F V
F V V V F V V F V F F F V V
F V V F F V V F V F F F F V
F V F V F F V F V F F F F V
F V F F F F V F V F F F F V
F F V V V V V F V F F F V V
F F V F V V V F F F F F F V
F F F V V V V F V F F F V V
F F F F V V V F F F F F F V
Lógica Matemática
Lógica Matemática
Lógica Matemática