Lógica Tradicional 1
Lógica Tradicional 1
Lógica Tradicional 1
• Predicando
el Ser del Sujeto
Afirmativa
Cualidad
Negativa
Universal
Cantidad
Particular
Símbolo Estructura Cantidad Cualidad
Todo S es
A Universal Afirmativa
P
Ningún S
E Universal Negativa
es P
Algún S es
I Particular Afirmativa
P
Algún S no
O Particular Negativa
es P
Término Término
Cuantificador Cópula
Sujeto Predicado
Término predicado no está distribuido
Término Sujeto está distribuido
Inferencia Inmediata
A CONTRARIAS E
SUBALTERNAS
SUBALTERNAS
CONTRADICTORIAS
I SUBCONTRARIAS O
Contradicción
Siendo una verdadera, la otra es falsa
A O
E I
Contrariedad
No pueden ser ambas verdaderas.
Si una es verdadera la otra es falsa.
A E
Subcontrariedad
No pueden ser ambas falsas.
Si una es verdadera la otra es
falsa.
A E
Subalternidad
Si la subalternante es verdadera la subalterna lo será.
Si la subalterna es falsa, la subalternante lo será.
A I
E O
Otras Inferencias Conversión
Obversión
Contraposición
Conversión
- Todo S es P Algún P es S-
- Ningún S es P Ningún P es S-
- Algún S es P Algún P es S-
-Algún S no es P No válida-
Obversión
- Todo S es P Ningún S es no P-
- Ningún S es P Todo S es no P-
- Algún S es P Algún S no es no P-
-Algún S no es P Algún S es no P-
Contraposición
- Todo S es P Todo no P es no S-
- Ningún S es P Algún no P no es no S-
- Algún S es P No válida-
-Algún S no es P Algún no P no es no S-
Continuará….