LÓGICA

“La comprensión de que la vida es absurda

no puede ser un fin, sino un comienzo”
A. Camus
1. GENERALIDADES

• Razón
LOGOS
• Discurso

ESTUDIO • Buen – correcto

DE LEYES Y RAZONAMIENTO
PRINCIPIOS • Mal – incorrecto
2. RAMAS DE LA LÓGICA
 2.1. LÓGICA FORMAL

ACTOS DE
• Lógica PENSAR • Concepto
Aristotélica • Estructura • Juicio
• Forma • Razonamiento
ESTUDIA
2.2. LÓGICA
PROPOSICIONAL
Lógica de enunciados
Lógica de proposiciones sin analizar

PROPOSICIÓN:
V
SUJETO + CÓPULA + PREDICADO
F
 2.3. LÓGICA
CUANTIFICACIONAL
Lógica de predicados.
Estudia la proposición en su composición
(x) [(Ax Λ Bx)] cuantitativa

CUANTIFICADOR
() [(Mx→¬Sx)]
Extensor de cantidad (cantidad de sujetos)

PREDICADO
Propiedad o característica del sujeto.
 2.4. LÓGICA DE CLASES
Las relaciones
entre clases en
las
proposiciones
categóricas Objetos
con alguna
ESTUDIA CLASE
propiedad
La pertenencia en común
o no
pertenencia del
sujeto al
predicado
 2.5. LÓGICA TRIVALENTE
P Q
Luckasiewics propone un tercer valor
1 1
veritativo.
1 ½
1 0
½ 1
½ ½ V 1
½ 0
0 1 PROPOSICIÓN ? 1/2
0 ½
0 0
F 0
 2.6. LÓGICA MODAL
Estudia los operadores modales de
◊p = ¬¬p
“posibilidad”, “contingencia”, “necesidad”
p = ¬◊¬p etc. de los razonamientos, asociadas a las
teorías de los mundos posibles (Lewis).

◊p
◊¬p
¬◊pΛ¬p
◊pV¬p
3. HISTORIA DE LA LÓGICA
3.1. EDAD ANTIGUA I
PROTÁGORAS (Sofista)
Estudió las oraciones en el plano sintáctico.
“Homo Mensura”
SÓCRATES
Modelo argumentativo (Mayéutica).
Estudió las definiciones y los conceptos.
Método inductivo
 3.1. EDAD ANTIGUA II
PLATÓN (Idealista objetivo)
Método dialéctico. / Principio de no contradicción.
Clasificó las oraciones (A – N).
ARISTÓTELES
Método deductivo. / Principio del tercio excluido.
Clasifica las proposiciones (cantidad-calidad)
Categorías,
Sobre la interpretación,
Órganon Primeros Analíticos,
Segundos Analíticos,
Tópicos y
Refutaciones sofísticas
3.2. EDAD MEDIA I
PORFIRIO
Publicó la obra “ENEADAS” de Plotino.
Presenta un estudio, denominado ISAGOGE:
Clasificar las
ARBOR cualidades de las
PORPHYRIANA cosas en términos:
ESPECÍFICOS Y
GENERALES
3.2. EDAD MEDIA II
BOECIO
Filósofo ecléctico
Tradujo “Categorías y Peri hermaneáis”
“Isagoge de Porfirio”

Escribió “De consolatione philosophiae”.

Aportó “Cuadro de oposición”

 3.3. EDAD MODERNA I
W. LEIBNIZ
Característica Universalis
Propuso
Mathesis Universalis
Obra De art combinatoria

“Uno”
MONADOLOGÍA
Fundamento de todo

“Mónada” Infinitud Realidad

(Sustancia simple) Armonía Mundo
3.3. EDAD MODERNA II
G. BOOLE (Fundador de la lógica simbólica)
Inv. sobre las leyes Cálculo Álgebra
del pensamiento de clases booleana

J. VENN (Complementa el trabajo de Boole)

Prop. categóricas
Propuso gráficas
Silogismo

Diagramas de Venn Validez o no validez

 3.4. EDAD CONTEMPORÁNEA I
G. FREGE (Fundador de la lógica contemporánea)
Obra: Conceptografía (lenguaje de fórmulas).

Introdujo
El concepto de función
• Signo – Cosa lógica y cuantificador
Distinguió • Constante – Variable
3.4. EDAD CONTEMPORÁNEA II
B. RUSSELL (Lógica matemática y de relaciones)

Perfeccionó el lengua
lógico (de G. Peano).

“Principia Mathematica”,
Junto a Alfred Whitehead.
Trató de demostrar que la
matemática no es perfecta
(usando contradicciones).
 3.4. EDAD CONTEMPORÁNEA III
L. WITTGENSTEIN (Filosofía del lenguaje)
1º Wittgenstein: “Tractatus Logico Philosophicus”
2º Wittgenstein: “Investigaciones filosóficas”
Mundo = hechos atómicos / Lenguaje = mapa de la realidad
Redujo: L. Predicados y Matemáticas al Cálculo prop.
Aportó con el método de evaluación de tablas de verdad

J. LUCKASIEWICS (Círculo de Viena)

Elabora la lógica trivalente.
Estudió el silogismo desde la lógica matemática.
3.4. EDAD CONTEMPORÁNEA IV
FRANCISCO MIRÓ QUESADA
Introdujo la lógica y epistemología al Perú.
Obras: Lógica, Iniciación lógica, Apuntes para un
teoría de la razón, Filosofía de las matemáticas,
Sobre el concepto de razón (multiplicidad de
lógicas).
“Lógica paraconsistente”, sistema lógico
tolerantes a la inconsistencias, trata con las
contradicciones.
4. LENGUAJE Y PENSAMIENTO
4.1. FUNCIONES DEL LENGUAJE
MATIVA
Informan, describen o aseveran (afirmar o negar).
DIRECTI EXPRES INFOR

La fórmula del agua es H2O - Galileo inventó el termómetro

Manifestar sentimientos, emociones o estados de ánimo

IVA

¡Me alegro de haberte conocido!

Originar o impedir una acción (ordenar, pedir)

VA

Pase por favor - Cuál es tu nombre

4.2. LENGUAJE NATURAL - FORMALIZADO
L. NATURAL L. FORMALIZADO

Artificial, diseñado
Histórico
simbólico
Oral, escrito o gestual Solamente escrito
Expresan hechos, Expresan ideas,
sentimientos, etc. conocimiento: Ideográfico
Ambiguo y con reglas Univoco, claro y preciso
generales
4.3. FALACIAS
Ignoratio elenchi
Non causa pro causa
Ad Populum
ATINGENCIA Ad Hominem
FALACIAS

Ad Ignorantiam
F. FORMALES
Ad Baculum
F. NO FORMALES
Ad Verecundiam
Equívoco
AMBIGÜEDAD Anfibología
Énfasis
- FALACIAS FORMALES

Si cruzas la pista, el
semáforo esta en
Infringe una rojo.
ley lógica
FALACIAS No cruzas la pista.
FORMALES El semáforo no esta
en rojo.
- FALACIAS NO FORMALES
Ignoratio Intenta probar una premisa con
elenchi una conclusión diferente.
No causa pro Atribuir una causa errónea a un
Premisas no causa evento sucesivo.
pertinentes a la Despertar emociones (+/-) en las
conclusión Ad Populum
personas (propaganda).
Ataque contra las personas, o a
ATINGENCIA Ad Hominen
sus convicciones.
Ad Afirmar la V/F porque no se ha
Ignorantiam demostrado lo contrario.
Apelar a la fuerza o amenaza
Ad Baculum
para conseguir aceptación.
Ad Utilizar a la “autoridad” fuera
Verecundiam de su especialidad.
- FALACIAS NO FORMALES
AMBIGUEDAD

Contiene palabras
ambiguas

ÉNFASIS Anfibología Equívoco

Resaltar una Todo el enunciado Una palabra con dos

palabra o frase es confuso o más significados
- Los fantasmas existen ya que nadie ha podido demostrar que no los haya.
-Todas las declaraciones del acusado “X” en el tribunal son falsas porque él es un delincuente, criminal y
mentiroso.
- En esta legislatura debemos aprobar la ley sobre control de natalidad para evitar muchas muertes por
abortos ilegales.
- La música actual esta haciendo que la juventud se corrompa porque los temas que escuchan hablan sobre
violencia, uso de drogas y abuso a las mujeres.
- Me robaron en el bus, definitivamente miércoles no es mi día de la suerte.
- Mire señorita, tú necesitas este empleo y yo necesito una secretaria cariñosa, así que será mejor que nos
entendamos.
- La vaca de mi suegra enfermó otra vez.
- El anticonceptivo oral de emergencia debe prohibirse ya que el cardenal Cipriani esta en contra de su
utilización.
- Hay algunas personas con poderes psíquicos. - ¿Por qué lo dices?, no se ha demostrado que la gente no tenga
poderes psíquicos.
- El Alcalde reitera su confianza en el Regidor y yo confío en el Regidor; y Ud. deben confiar en él porque así son
las cosas aquí.
- Al cruzar la pista un carro volvió a arrollar al asno de mi amigo, yo creo que ya deberían sacrificarlo.
- Sr. buenas tardes se encuentra Armando Casas. – No, la verdad no, estoy armando unas mesas.
5. LÓGICA PROPOSICIONAL
Parte básica y elemental de la Lógica Clásica.

Lenguaje
natural
Verdadera
Proposición
o falsa
Lenguaje
formalizado

* No son proposiciones las oraciones interrogativas, exhortativas,

imperativas, desiderativas, exclamativas, admirativas ni dubitativas.
Los perros son animales domésticos
La poesía pertenece a la función expresiva
X +Y =Y + X
[(p → q) Λ q ] → p
¡Eureka!
¡Aleluya! dijo el sacerdote
Tierra
Solea
Existe por lo menos un animal en la luna
¿Qué esta pasando en América?
¿Qué es la lógica? Es una pregunta
5.1. PROPOSICIONES SIMPLES
No presentan conectores lógicos
Poseen únicamente SUJETO Y PREDICADO

PREDICATIVAS RELACIONALES
Atribuye una cualidad al Relacionan sujetos
sujeto
Venus gira alrededor del
Los planetas son esferas Sol
5.2. PROPOSICIONES COMPUESTAS I
Unen proposiciones simples a través de conectores lógicos.

- Conjuntivas “y“
(además, empero, pero, sin embargo, pues, no obstante)
La Tierra es un planeta y la Luna es un satélite.

- Disyuntivas “o”
INCLUSIVA Caronte o Luna son satélites.
EXCLUSIVA La Luna es un satélite o es un planeta.
5.2. PROPOSICIONES COMPUESTAS II
- Condicionales “implicativas” (causa efecto)
DIRECTA Si un cuerpo celeste opaco gira alrededor de un
planeta, entonces es un satélite.
INVERSA La Luna brilla puesto que recibe luz solar.

- Bicondicionales “equivalentes” (condición recíproca)

El Sol emite luz propia solamente si es una estrella.
5.2. PROPOSICIONES COMPUESTAS III
- Negación “no”
Invierte el significado de la proposición

El Sol no es un planeta
El Sol es un planeta

Venus y Mercurio poseen satélites

No es cierto que Venus y Mercurio posean satélites
5.3. SIGNOS LÓGICOS
Simbolizan proposiciones:
Variables
“p”, “q”, “r”, “s”, …

Conectore Monádico: Afecta una variable

s lógicos Diádicos: Afecta a dos variables

Signos Une o separa fórmulas

auxiliares proposicionales
5.4. FORMALIZACIÓN DE PROPOSICIONES

Fórmulas Atómicas Fórmulas Moleculares

• Se representan con • Contiene uno o más

una variable: operadores:
• “p” • ~p
• (p → q) → r
FORMALIZAR:
- Boecio escribió la “Consolación de la Filosofía”
________________________________________
- Boecio escribió la “Consolación de la Filosofía” o tradujo las obras
de Aristóteles.
__________________________________________________________
- Boecio escribió la “Consolación de la Filosofía” y tradujo las obras
de Aristóteles.
__________________________________________________________
- Boecio aportó a la Lógica con el cuadro de oposición y Aristóteles
con el silogismo.
__________________________________________________________
Si Porfirio escribió la Isagoge y Boecio escribió La consolación de la filosofía,
entonces no es cierto que Boecio publicará las Eneadas.

Frege es el fundador de la lógica contemporánea o autor de Conceptografía;

únicamente si, empleó un lenguaje de fórmulas y aportó con el concepto de
cuantificador.

Es imposible que un oración sea una proposición y no sea una proposición.

Si una oración es una proposición, entonces la oración es verdadera o no es

verdadera.

Un razonamiento no válido es una falacia; si y solo si, se infringe una ley

lógica, contiene palabras ambiguas o existe mal uso del lenguaje.
6. TABLA S DE VERDAD Y
CIRCUITOS LÓGICOS
6.1. TABLAS DE VERDAD

Margen Cuerpo

𝒏
𝑪=𝟐
“C” = # combinaciones
“n” = # variables
6.2. PRINCIPALES ESQUEMAS
 TABLAS DE
PROPOSICIÓN COMPUESTA SÍMBOLO
VERDAD
Conjuntiva “y” ∧ VV = V
Disyuntiva
“o” ∨ FF = F
Débil
Disyuntiva VV = F
“O… o…” ↮
Fuerte FF = F
“Si…,
Condicional → VF = F
entonces…”
“…si y solo VV = V
Bicondicional ↔
si…” FF = V
V=F
Negación “No” ~
F =V
6.3. LÓGICA PROPOSICIONAL Y
CIRCUITOS LÓGICOS
INTERRUPTORES: Permiten el fluido o la interrupción de la corriente
eléctrica:

ABIERTO

CERRADO

CIRCUITOS EN LÍNEA –SERIE

CIRCUITOS EN PARALELO
6.4. SIMPLIFICACIÓN DE CIRCUITOS
LEY EQUIVA A

- Ley de la doble negación: ~~p p

- Ley de la condicional: p→q ~p ∨ q

~(p∨ q) ~p ∧ ~q
- Ley de Morgan:
~(p∧ q) ~p ∨ ~q
- Ley de la equivalencia: p↔q (p → q) ∧ (q → p)
7. RAZONAMIENTOS
VÁLIDOS EN LA LÓGICA
PROPOSICIONAL
7.1. MODUS PONENDO PONENS
p q
“Si solea, entonces hace calor. - p → q
Sucede que solea. FORMALIZANDO - p
Por lo tanto hace calor.” ∴q

7.2. MODUS TOLLENDO TOLLENS

p q
“Si hay sequias, hay escasez de alimentos. - p → q
Pero no hay escasez de alimentos. FORMALIZANDO - ~q
En consecuencia no hay sequias.” ∴ ~p
7.3. SILOGISMO DISYUNTIVO
p q
“Hago las diapositivas o duermo. - p v q
No hago las diapositivas. FORMALIZANDO - ~p
Entonces, duermo.” ∴q

p q
“Hago las diapositivas o duermo. - p v q
Esta vez no duermo. FORMALIZANDO - ~q
Entonces hago las diapositivas.” ∴p
7.4. SILOGISMO HIPOTÉTICO PURO
p q
“Si estudias lógica, podrás deducir argumentos. - p→q
q r - q→r
Si puedes deducir argumentos, puedes plantear argumentos. ∴ p→r
Si estudias lógica, podrás plantear argumentos.”

7.5. TRANSITIVIDAD SIMÉTRICA

p q

“Las plantas poseen cloroplastos si y solo poseen absorben luz solar. - p↔q
q r
- q↔r
Las plantas absorben luz solar, si y solo si realizan fotosíntesis.
∴ p↔r
Las plantes poseen cloroplastos si y solo si realizan fotosíntesis”
7.6. DILEMAS CONSTRUCTIVO - DESTRUCTIVO
p q
“Si estudias en la universidad, entonces serás profesional.
r s
Si trabajas, entonces tendrás dinero.”

- p→q - p→q

CONSTRUCTIVO

DESTRUCTIVO
- r→s - r→s
- p v r - ~q v ~s
∴qvr ∴ ~p v ~r

“Estudias o trabajas. “No serás profesional o no tendrás dinero.

Serás profesional o tendrás dinero.” No estudias o no trabajas.”
7.7. LEYES DE “DE MORGAN”
~ (p q)
“No es cierto que la Lógica sea aburrida y difícil.” - ~(p ^ q)
“La lógica no es aburrida o no es difícil” ∴ ~p v ~q

~p ~q
“La leyes no son justas y no son verdaderas.” - ~p ^ ~q
“Es falso que las leyes sean justas o sean verdaderas.” ∴ ~(p v q)
8. PRINCIPIOS DE LA LÓGICA
FORMAL Y LEYES DE LA
LÓGICA DIALÉCTICA
8.1.PRINCIPIOS LÓGICOS
PRINCIPIOS DE LA
LÓGICA CLÁSICA

Verdades evidentes,
tautologías

IDENTIDAD NO CONTRADICCIÓN TERCIO EXCLUIDO

PARMÉNIDES PLATÓN ARISTÓTELES

P→ P ~(p ^ ~p) p v ~p
8.2. LEYES DE LA LÓGICA DIALÉCTICA
UNIDAD Y Principal ley, los Movimiento-Reposo / Cantidad-
LUCHA DE opuestos producen el Calidad / Vida-Muerte / Libres-
CONTRARIOS movimiento. Esclavos / Proletarios-Burgueses

CAMBIOS La acumulación de El paso de lo inorgánico a lo orgánico.

CUANTITATIVOS cantidad produce El tránsito del estado sólido al líquido.
A CUALITATIVOS cambios de calidad El cambio de una sociedad a otra

Ley que fundamente el La teoría heliocéntrica es la

NEGACIÓN DE
progreso, desarrollo, superación de la teoría geocéntrica.
LA NEGACIÓN
sucesión o superación Tesis + Antítesis = Síntesis
9. LÓGICA FORMAL
9.1. EL CONCEPTO (Palabra o término)
ESENCIAL: Necesaria,
no puede faltar. “3 lados
CARACTE o ángulos”
TRIÁN
RÍSTICAS ACCIDENTAL: Puede GULO
corresponder o no. “El
triangulo es isósceles”

COMPRENSIÓN: Captar
la esencia o calidad del Si aumenta la
PROPIE concepto. comprensión
disminuye la
DADES EXTENSIÓN: Captar la extensión y
viceversa
totalidad o calidad del
concepto.
9.2. LA DEFINICIÓN:

Marca los
límites del MAMÍFERO: CONCEPTO
concepto. Animal vertebrado
caracterizado por
DEFINICIÓN
Significado presentar glándulas
de una mamarias.
palabra.
9.3. EL JUICIO
CANTIDAD UNIVERSAL : Todo mamífero es vertebrado.
(EXTENSIÓN) PARTICULAR : Algunos vertebrados son acuáticos.
INDIVIDUAL : El delfín es un animal mamífero.
CALIDAD AFIRMATIVO : Los animales son vertebrados
(VERBO NEGATIVO : Las aves no son mamíferos.
COPULATIVO) INDEFINIDO : Los delfines son no peces.

MODALIDAD ASERTÓRICOS : La Tierra es planeta más hermoso.

(MODOS DEL APODÍCTICOS : La Tierra necesariamente es un planeta.
VERBO) PROBLEMATICOS: Es posible que vida en otros planetas.
RELACIÓN CATEGÓRICOS : Los planetas son cuerpos celestes.
(CON O SIN HIPOTÉTICOS : Si la Tierra es un planeta, entonces es ...
CONDICIÓN) DISYUNTIVOS : La Luna es un planeta o un satélite.
9.4. EL RAZONAMIENTO
INDUCTIVO DEDUCTIVO ANALÓGICO

Premisa(s) Premisa(s)
Premisa Universal
Particular(es) Particular(es)
Conclusión(es) Conclusión(es)
Conclusión Universal
Particular(es) Particular(es)

“Inducción
imperfecta”
9.5. JUICIOS CATEGÓRICOS TÍPICOS – CUADRO
DE BOECIO
TODO S ES P
(UNIVERSAL AFIRMATIVO) A CONTRARIAS
E NINGÚN S ES P
(UNIVERSAL NEGATIVO)

SUBALTERNACIÓN

SUBALTERNACIÓN
ALGÚN S ES P
ALGÚN S NO ES P
(PARTICULAR AFIRMATIVO)
I SUBCONTRARIAS
O (PARTICULAR NEGATIVO)
10. INFERENCIAS
10.1. INF. INMEDIATAS POR OPOSICIÓN
CONTRADICTORIAS A E I O
(CANTIDAD/CALIDAD) O I E A

A CONTRARIAS
E CONTRARIAS A E
(CALIDAD) E A
SUBALTERNACIÓN

SUBALTERNACIÓN
SUBCONTRARIAS I O
(CALIDAD) O I

I SUBCONTRARIAS
O SUBALTERNAS A E
(CANTIDAD) I O

SUBALTERNANTES I O
(CANTIDAD) A E
10.1. INF. INMEDIATAS POR OPOSICIÓN
s p
Algún artrópodo no es crustáceo
A E
“O”
SUBALTERNACIÓN
(particular negativa)

CONTRADICTORIA : Todo artrópodo es crustáceo (A)

I SUBCONTRARIAS
O SUBCONTRARIA : Algún artrópodo es crustáceo (I)

SUBALTERNANTE : Ningún artrópodo es crustáceo (E)

10. 2. INF. INMEDIATAS POR CONVERSIÓN
A Todo S es P → I Algún P es S (por accidente o limitación)
E Ningún S es P → E Ningún P es S
I Algún S es P → I Algún P es S
O Algún S no es P → X No tiene conversa

(E) Ningún escorpión es arácnido.

CX
s p

(E) Ningún arácnido es escorpión.

p s
10. 3. INF. INMEDIATAS POR OBVERSIÓN
A Todo S es P → E Ningún S es no-P
E Ningún S es P → A Todo S es no-P
I Algún S es P → O Algún S no es no-P
O Algún S no es P → I Algún S es no-P

Todo arácnido es artrópodo.

Complemento s p
(Contraria) Complemento
Ningún arácnido es no-artrópodo.
s no-p
10. 4. INF. INMEDIATAS POR CONTRAPOSICIÓN
CONTRAPUESTA PARCIAL:
A Todo S es P → E Ningún no-P es S
E Ningún S es P → I Algún no-P es S (por limitación o accidente)
I Algún S es P → X No tiene contrapuesta ni parcial ni total
O Algún S no es P → I Algún no-P es S

CONTRAPUESTA TOTAL:

A Todo S es P → A Todo no-P es no-S

E Ningún S es P → O Algún no-P no es no-S (por limitación o accidente)
I Algún S es P → X No tiene contrapuesta ni parcial ni total
O Algún S no es P → O Algún no-P no es no-S
10. 4. INF. INMEDIATAS POR CONTRAPOSICIÓN

Contrapuesta Parcial = Obversión + conversión

Contrapuesta Total = Obversión + conversión + obversión

“O”
Algunos mamíferos no son terrestres
Obversa s p
Algunos mamíferos son no-terrestres.
Conversa s no-p
Algunos no-terrestres son mamíferos. Contrapuesta Parcial
no-p s
Obversa
Algunos no-terrestres no son no-mamíferos. Contrapuesta Total
no-p no-s
10. 5. INF. MEDIATAS: EL SILOGISMO
REGLAS:
1. Los términos del silogismo son solo tres.
2. El término menor no debe entrar jamás en la conclusión
3. El término menor debe ser tomado por lo menos una sola vez en
toda su extensión.
4. Ningún término puede figurar en la conclusión con mayor
extensión que en las premisas.
5. De premisas negativas no se sigue conclusión.
6. Una conclusión negativa no puede ser generada por premisas
afirmativas.
7. La conclusión sigue siempre a la parte más débil.
8. De premisas particulares no se infiere conclusión.
10. 5. INF. MEDIATAS: EL SILOGISMO
P = Término mayor, se encuentra en la primera
premisa y va de predicado en la conclusión.
M = Término medio, se encuentra en ambas
premisas y no aparece en la conclusión.
S = Término menor, se encuentra en la segunda
premisa y va de sujeto en la conclusión.

1° FIGURA 2° FIGURA 3° FIGURA 4° FIGURA

M es P P es M M es P P es M
S es M S es M M es S M es S
S es P S es P S es P S es P
10. 5. INF. MEDIATAS: EL SILOGISMO
M P
PA (I) Algunos mediadores son pacifistas M P
S M
MODO UN (E) Ningún socialistas es mediadores S M FIGURA
PN (O) Algunos socialistas no son pacifistas S P
S P

IEO-1
(MODO Y FIGURA)
11. LÓGICA DE CLASES
11.1. REPRESENTACIÓN DE CLASES
UNIVERSAL VACÍO PARTICULAR
U SS S
x

U≠Ø S=Ø S≠Ø

COMPLEMENTO

S S

S=Ø S≠Ø
11.2. RELACIÓN ENTRE CLASES
INCLUSIÓN IGUALDAD EXCLUSIÓN

P
S SP S P

S⊂P S=P S≠P

11.3. OPERACIONES CON CLASES

UNIÓN INTERSECCIÓN DIFERENCIA

SUP S∩P S-P

12. FÓRMULAS BOOLEANAS
Y DIAGRAMAS DE VENN
12.1. DIAGRAMAS DE UNA CLASE
S S
S S
x

S≠Ø S=Ø

12.2. DIAGRAMAS DE DOS CLASES

S∩P=Ø S∩P=Ø S∩P=Ø S∩P=Ø

12.3. DIAGRAMAS DE PROPOSICIONES TÍPICAS

A E
TODO S ES P NINGÚN S ES P

S∩P=Ø S∩P=Ø

I O
ALGÚN S ES P ALGÚN S NO ES P
S∩P≠Ø S∩P≠Ø
12.4. DIAGRAMAS PARA PROP. ATÍPICAS
No es cierto que unos no-transeúntes sean no-despistados.
Negación (~) no-S no-P
Particular Afirmativa

FÓRMULATÍPICA : “I” (particular afirmativa) S ∩ P ≠Ø

FÓRMULA ATÍPICA : ~ (cambia el signo) S∩P
UNIFICANDO : S ∩ P =Ø

DIAGRAMA ATÍPICO :
12.5. DIAGRAMAS PARA EL SILOGISMO CAT.
Todo académico es agradecido MaP = Ø
Algunos jóvenes son académicos S iM≠Ø
Algunos jóvenes son agradecidos S iP ≠Ø
MaP=Ø SiM≠Ø SiP≠Ø
P S S P

M M M Válido
12.5. DIAGRAMAS PARA EL SILOGISMO CAT.
M i P ≠ Ø (2º graficamos la particular)
M e S = Ø (1º graficamos la universal)
S o P ≠ Ø (Leemos la conclusión, debería haber “x”en “S”)

MeS=Ø M i P≠ Ø SoP≠Ø
S P S P
x

M M M No válido