LÓGICA MATEMÁTICA Y DIGITAL
SEMANA 6
Moises Araya Cuadra
24/09/2023
TÉCNICO DE NIVEL SUPERIOR EN AUTOMATIZACIÓN Y CONTROL
DESARROLLO DE LA ACTIVIDAD
Prosiguiendo con su investigación de mercado en un importante conglomerado industrial
productor de alimentos, el equipo del Departamento de Mercadeo prepara un informe
para la reunión trimestral con la directiva, donde hace uso de los Diagramas de Venn
como herramienta para contrastar el comportamiento de sus productos.
Para lograr una efectiva impresión en la reunión, los miembros del departamento
proponen demostraciones de validez de silogismos categóricos, con el empleo de
enunciados con cuantificadores. Con ello buscan explicar de una forma lógica y bien
argumentada, algunas de las recomendaciones que planean ofrecer a la gerencia para
mejorar el posicionamiento de la marca en el mercado local.
DESARROLLO
1. Escribe un Silogismo categórico para cada una de las figuras válidas indicada.
Justifica tu respuesta.
N° Silogismo Enunciado
Categórico
M–P Toda mujer tiene un sexto sentido.
Ejemplo
S–M Alicia es mujer.
---------- Por tanto, Alicia tiene un sexto sentido.
S–P
M–P Todos los perros son mamíferos.
1
M–S Todos los Golden Retrievers son perros.
-------- Por tanto, todos los Golden Retrievers
S–P son mamíferos.
P–M Todos los frutos son alimentos.
M–S Todas las manzanas son frutos.
2
-------- Por tanto, todas las manzanas son
S–P alimentos.
2. Dado el siguiente silogismo categórico, demuestra que la conclusión se sigue de
las premisas mediante un Diagrama de Venn.
Algunos exploradores son historiadores.
Todos los arqueólogos son historiadores.
Algunos arqueólogos son exploradores.
Para demostrar que la conclusión se sigue de las premisas, podemos usar un Diagrama
de Venn:
Que algunos
exploradores
son
Historiadore
Exploradore historiadores
s
s
Que algunos Que todos los
arqueólogos arqueólogos
son son
exploradores historiadores
Arqueólogos
3. Expresa las siguientes proposiciones categóricas mediante la simbología de
cuantificador universal o existencial, según corresponda. Hay un ejemplo de
referencia.
Simbología de Cuantificadores Lógicos
N° Proposición Simbología Predicados
(Ǝx) (Bx ∧ ¬OX) No todo: se lleva a la forma típica
categórica
Ejemplo No todo lo que brilla
no es oro “Alguno”
Bx: lo que brilla
Ox: es oro
(∀x) (Ex →
no: conectivo lógico de negación (¬)
1 No es cierto que Ex: enfermedad
algunas ¬Px)
enfermedades sean Px: provechosa
provechosas.
2 Ningún ladrón es una (∀x) (Lx → Lx: ladrón
persona responsable. ¬Rx)
Rx: persona responsable
REFERENCIAS BIBLIOGRÁFICAS
texto de lectura de IACC:
IACC. (2023). Lógica Matemática y digital modalidad online. Elementos de la Lógica y
Lenguaje Simbólico. Semana 6.