LOGICA

Proposiciones Categóricas
CUANTIFICADOR CUANTIFICADOR
Cantidad-Calidad REPRESENTACION FORMA FORMA FORMA FORMA DE UNIVERSAL EXISTENCIAL
Relación Clasial FORMAL TÍPICA CUANTIFICACIONAL BOOLEANA VENN - EULER FORMAS ESPECIALES Símbolo:  Símbolo: 
Traducción verbal: Traducción verbal:
S
Universal SP 
P
S P Para todo(as) Para Algún(os)
Afirmativa Todo S es P SaP  x (S x  Px ) Todo(as) Algún(os), Alguien
Inclusión Total SP   U
Los(as) Existe(n), Hay, Hay un(os)
S P U Cada uno(a) La mayoría, La minoría
Universal
Negativa
Ningún S es P SeP x ( S x  Px ) S  P   SeP Cualquier(a) Muchos, Muchísimos
Exclusión Total SP   U
Sea cualquier Pocos, Poquísimos
S P S P Para cualquier Existe al menos un
Particular
Algún S es P SiP x ( S x  Px ) SP x
Afirmativa Cualquier cosa que sea Hay al menos un
Inclusión Parcial SP   U
Dado cualquier Hay exactamente un
x
SP  S P U Quienquiera que sea Casi todos, Ciertos
Particular
Negativa
Algún S no es P SoP x ( S x  ~ Px ) x SiP Para cada Varios, Bastantes
Exclusión Parcial
SP   U
Nada (negativo) Determinados
Conversas Obversas Contrapuestas Contrapuestas S SeP P Ningún (negativo) La gran mayoría
Accidental Lineal (Simple) S aPPaS Total Parcial Nadie (negativo) Gran parte
S a PS eP
S a PP i S
S ePPeS S o PPoS U Ni siquiera (negativo) Todos excepto un(a)
S ePS a P P : premisa
S ePPoS P : premisa x + x -
S i P Pi S También O : obversa SaP
No usar las SiPS oP O : obversa S
P A
Contrarias
E
S a P  Pi S C : conversa Co

Subalternante
Subalternante
condicionales en ntra ri a

Subalterna
S oPSiP

Subalterna
C : conversa Cuadro cto
O : obversa did
equivalencia S e PPoS U de
Co
ntr
a icto
ri a
Boecio
I O
Diagramas de Venn – Euler para una clase: S   : La clase “S” es vacía, se sombrea. Subcontrarias
S   : La clase “S” no es vacía, se coloca una “x”. x + x -
Todos son S Ninguno es S Alguno es S Alguno no es S
x  S x  x  S x  x  S x  x  S x 
a e i o
S S S S
ao  x  S x   x  S x  Nota: 1 0 1 0
x ei  x  S x  Px   x  S x  Px  Sólo los S son P  PaS 0   1
Sólo=Solamente=Nadie más que
U U U x U ie x  S x    x  S x  0 1 0 1
=Únicamente=Exlusivamente  0 1 
S  S  S  S  oa x  S x  Px    x  S x  Px 
 LOGICA

Leyes de Inferencia Silogismos Aristotélicos

Si estudio entonces ingreso. SILOGISMO HIPOTÉTICO PURO (SHP) En general PALABRA
1)Premisa mayor FIG. MODO
MODUS PONENDO PONENS (MPP) pq pq LATINA
2)Premisa menor 1 2
pq pq qr qr AAA BARBARA
 Conclusión
I EAE CELARENT
p p pr pr De donde se obtienen los términos
P M  término medio 3 4 AII DARII
q q LEY DE SIMPLIFICACIÓN (LS)
MODUS TOLLENDO TOLLENS (MTT) EIO FERIO
M S  término menor E H M
pq pq pq pq EAE CESARE
 S P  término mayor
p q Dependiendo del orden del término medio AEE CAMESTRES
~q ~q II
LEY DE CONJUNCIÓN (Ley de Adjunción) M, se tienen las Figuras: EIO FESTINO
~ p ~ p I II III IV 4
p AOO BAROCO
Soy soltera o casada. MP PM MP PM 3 2
q SM SM MS AII DATISI
MODUS PONENDO TOLLENS (MPT) MS
pq pq pq  SP  SP  SP  SP 1 IAI DISAMIS
III
Reglas para obtener el modo de la OAO BOCARDO
p q LEY DE ADICIÓN (Ley del nuevo factor)
EIO FERISON
conclusión:
~ q ~ p p
AEE CAMENES
 p  X  cualquier premisa U: proposición categórica universal. a = UA
MODUS TOLLENDO PONENS (MTP) IV IAI DIMATIS
pq pq DILEMA CONSTRUCTIVO (DC) P: proposición categórica particular. e = UN
EIO FRESISON
pq A: Proposición categórica afirmativa. i = PA
~p ~q
rs N: Proposición categórica negativa. o = PN Para determinar la validez:
q p 1. Se cumplen las reglas para el modo.
pr U U P P 2. Término medio distribuido en al menos
SILOGISMO DISYUNTIVO (SD)
q  s U P U P una de las premisas.
pq pq U  P  P  no válido 3. Término distribuido en la conclusión
DILEMA DESTRUCTIVO (DD) debe estar distribuido en las premisas.
~ p ~q A A N N
pq
q p rs
A N A N Un ejemplo:
 A  N  N  no válido M aP
MaP
A  A  ~ q ~ s Término Distribuido: los cuadrados
SeM S e M
O tbn   ~ p  ~ r encierran a los términos distribuidos en
A A cada forma
 SeP  S e P
Es un silogismo no válido. El término P no
S a P
p q pq pq pq pq pq pq  | está distribuido en las premisas.
#filas  S e P  x  x Figura I – Modo aee (se lee hacia abajo)
V V V V V V V F F F
2#variables V F F V F V F V F V S i P x   x
F V F V V F F V F V
S o P
F F F F V V V F V V