Documentos de Académico
Documentos de Profesional
Documentos de Cultura
código: 200611
Grupo: 200611_7
Solución
Vamos a darle nomenclatura a los conjuntos:
C− A−B=C− A ∩C−B∩C + A ∩ B∩ C
C− A−B=54−31−33+23=13
13 estudiantes se matricularon sólo en el curso de pensamiento lógico y
matemático
B) Expresión simbólica:
[ ( p ∨q ) ∧ ( ∽ t ) ∧ ( q → t ) ] →(p ∧ ∽ t)
Premisas:
P1: p ∨q
P2: ∽ t
P3: q → t
Conclusión: p ∧∽t
Solución
Proposiciones Simples
P1: p ∨q
P2: ∽ t
P3: q → t
P4: q MTT . P 3 Y P 2
P5: p MTP P 1 Y P 4
P6: p ∧ t ∧ P 5 Y P 2