Este documento presenta apuntes sobre lógica formal. Explica conceptos como silogismos, proposiciones categóricas, figuras y modos válidos de los silogismos. Define los términos menor, medio y mayor. Incluye ejemplos de silogismos válidos e inválidos para ilustrar los conceptos.

1. APUNTES DE LÓGICA
Segundo trimestre:
-Lógica en clase A los que algunos llaman teoría en conjunto.
Razonar:
-Analizar separar
-silogismo Son los que usan proposición deductivo.
-Tendremos proposiciones categorematicas:
A Todo S es P
E Ningún S es P
I Algún S es P
O Algún S no es P

2. Termino medio Término mayor
MP PM PM PM
MS MS SM SM
SP SP SP SP
F. 1 F.2 F.3 F.4
Modos válidos
Así los modos
válidos
De la primera AAA, EAE, AII, EIO BARBARA, CELARENT, DARII, FERIO
figura
De la segunda EAE, AEE, EIO, AOO CESARE, CAMESTRES, FESTINO, BAROCO
figura
De la tercera AAI, IAI, AII, EAO, DARAPTI, DISAMIS, DATISI, FELAPTON,
figura OAO, EIO BOCARDO, FERISON
De la cuarta AAI, AEE, IAI, EAO, BAMALIP, CAMENES, DIMATIS, FESAPO,
figura EIO FRESISON
Premisa menor.
TÉRMINO MENOR Sujeto de la conclusión.
Al que esta simbolizado con (S).
Establece la relación entre los términos menor y mayor.
TÉRMINO MEDIO Aparece en ambas premisas
Se representa con la letra (M)
Posee mayor extensión.
TÉRMINO MAYOR Aparece en la primera premisa.
Es el predicado de la conclusión

3. Ejemplo:
Fórmula: Estructura:
AAA3 Todo M es P
Todo M es S
Todo S es P
A-Todos los gatitosM son lindosP.
A-Todos los gatitosM son mamíferosS.
A-Todos los mamíferosS son lindosP.
Ejemplo2:
A-Todos los hombres son malos.
A-Todos los hombres son feos. inválido
A-Todos los feos son malos.
Todos los hombres son malos
Conclusión correcta
Ejemplo3:
Figura:2
A-Todos los perrosSson mamíferosP.
A-Puesto que todo mamíferoS es vertebradoM.
A-Todo perroS es vertebradop.
Gráfica
Existen 3 modos para saber la validez, la gráfica es 1.
Se empieza con la premisa universal.

4. Continuación
El modo E es válido para cualquier modo.
I
O
Ejemplo:
Figura: 3
E-Ningún profesor es malo.
I-Algún profesor es responsable.
O-Algún responsable no es malo.