LÓGICA MATEMÁTICA Y DIGITAL

SEMANA 6

Rolando Manzano Cantillano

08-05-2023
Ingeniería en automatización y control
DESARROLLO
______________________________________________________________________________________

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.

A partir de la información anterior, completa las actividades:

1. Escribe un silogismo categórico para cada una de las figuras válidas indicadas. Justifica tu
respuesta

N Silogismo Enunciado
categórico
Ejemplo M-P Toda mujer tiene un sexto sentido.
S-M Alicia es mujer.
-------
S-P Por lo tanto, Alicia tiene un sexto sentido
1 P-M El sexto sentido lo tienen todas las mujeres
S-M Alicia es mujer
------
S-P Por lo tanto, Alicia tiene un sexto sentido
2 P-M El sexto sentido lo tienen todas las mujeres
M-S Alicia es mujer
------
S-P Por lo tanto Alicia tiene un sexto sentido

2. Dado el siguiente silogismo categórico, demuestra que la conclusión se sigue de las premisas
mediante un Diagrama de Venn.
TODO M ES P
ALGUN M ES S
ALGUN S ES P
TODO M ES P
ALGUN M ES S
ALGUN S ES P
TODO M ES P
ALGUN M ES S
ALGUN S ES P
TODO M ES P
ALGUN M ES S
ALGUN S ES P
TODO M ES P

ALGUN M ES S

ALGUN S ES P
 PROPOSICIONES CATEGORICAS:

1. TODO LIDER ES PLANIFICADOR PREMISA MAYOR A I I = V

2. ALGUNOS JEFES SON LIDERES PREMISA MENOR.

MUCHOS JEFES SON BUENOS PLANIFICADORES

MODO +FIGURA:

UNIVERSAL AFIRMATIVA A TODO M ES P

ARTICULAR AFIRMATIVA I ALGUN S ES M

CONCLUCION I ALGUN S ES P

3. Expresa las siguientes proposiciones categóricas mediante la simbología de cuantificador

universal o existencial, según corresponda.

N° Proposición categórica Simbología Predicados

Ejemplo No todo lo que brilla no es oro ( x) (Bx Ǝ ∧ ¬OX) No todo: se lleva a la

forma típica “Alguno”
Bx : lo que brilla Ox:
es oro no: conectivo
 lógico de negación (¬)
1 No todas las personas de mente ( x) (PX Ǝ ∧ FX) No todo: se lleva a la
cerrada son fanáticos forma típica “Alguno”
PX: PERSONAS DE
MENTE CERRRADA
BX: SON FANATICOS
2 Todas las personas exitosas son ∀ x (PX→BX) TODAS PX: PERSONAS
personas con buenos modales EXITOSAS BX:
BUENOS MODALES

REFERENCIAS BIBLIOGRÁFICAS

IACC. (2023). Lógica matemática y digital en la modalidad online. Lógica de Predicado. Semana 6