DERIVACIONES CON FÓRMULAS

CUANTIFICADAS

Antes de exponer el método de las derivaciones con fórmulas cuantificadas es

preciso introducir cuatro reglas más. Estas son:

1. REGLAS DE DERIVACIÓN

1.1 Ejemplificación Universal (EU)

x) Fx o x) Fx “w” es cualquier símbolo de individuo.

Fw :. Fa

Permite prescindir durante la derivación del cuantificador individual.

1.2 Ejemplificación existencial (EE)

x) Fx  “a” es cualquier constante individual.

:. Fa 



1.3. Generalización universal (GU)

Fw

:. x) Fx

Autoriza añadir el cuantificador universal aun enunciado implicativo.

 1.4. Generalización existencial (GA)

Fa

:. x) Fx

Autoriza a añadir el cuantificador existencial a un enunciado conjuntivo.

1.5 Implicación Formal

La generalización universal de un enunciado implicativo origina una implicación

formal. O, en otras palabras, la generalización universal de una implicación
material origina una implicación formal. De aquí que la implicación formal
puede servir muy bien para transcribir las proposiciones universales del lenguaje
ordinario.

De la misma manera, la generalización universal de una equivalencia recibe el

nombre de equivalencia formal.

Sus enunciados respectivos son:

x)( Fx Gx) = implicación formal

x)( Fx ↔ Gx) = equivalencia formal

Observación: Ni la implicación formal ni la implicación material deben

confundirse con la implicación inferencial. En efecto, se dice que x implica
inferencialmente y en el sistema S deducir y a partir de X.

2. Inferencia silogística
El silogismo es la argumentación típica de la lógica tradicional. Como se
sabe, los antiguos reconocidos la validez de 19 modos de los 256
posibles. Con los procedimientos de la lógica moderna solo es posible
retener la validez de 15 de estos modos.
En el Apéndice puede verse el número completo de los modos
tradicionales.
 Los quince modos retenidos como válidos son:
AAA-1 EAE-2 AII-3 AEE-4
EAE-1 AEE-2 IAI-3 IAI-4
AII-1 AIO-2 OAO-3 EIO-4
EIO-1 AOO-2 EIO-3

Los cuatro modos tradicionalmente inválidos, que son los que tienen las
premisas universales y particulares la conclusión, son:
AAI-3 AAI-4
EAO-3 EAO-4
Los modernos convalidan estos modos la llamada “premisa existencial”
(PE) y reivindican la validez para 5 modos tradicionales más, de manera
que a los 15 modos válidos se añaden estos nueve con los que suman 24
modos válidos en la lógica moderna.
Estos nueve modos son:

AAI-1 AAI-4 } PE =G
EAO-1
AEO-2 PE =F AAI-3
EAO-2 EAO-3 PE=H
AEO-4 EAO-4

3. Las derivaciones en los silogismos

3.1 Procedimientos
Por convención, designamos a los tres términos del silogismo con
letras mayúsculas: F,G y H, de la siguiente manera:
Término menor = F
Término mayor =G
Término medio = H
 Luego se dan los siguientes pasos:

a) Se simbolizan los silogismos y se disponen las premisas tal como se

hace en el método de, las derivaciones.
b) Se suprime los cuantificadores mediante las reglas de ejemplificación,
teniendo cuidado de cambiar la variable por un símbolo de individuo.
c) Se aplican las leyes de derivación.
d) Se restituye el cuantificador la fórmula resultante aplicando las reglas
de generalización, restituyéndolo la variable original.

Ejemplo I
Sea el silogismo:

Todos los felinos son mamíferos

Todos los tigres son felinos
Luego, todos los tigres son mamíferos

a) Se simboliza la argumentación
1. x) (Hx Gx)
2. x) (Fx Hx) / x) (Fx Gx)
b) Se suprimen los cuantificadores
3. Hw Gw EU (1)
4. Fw Hw EU (2)

c) Se aplican las leyes de derivación

5. Fw Gw

d) Siendo implicativo el enunciado resultante, se le aplica la regla de

GU, restituyendo la variable.

6.x) (Hx Gx) GU (5)

Rpta: La argumentación es válida

4. La premisa existencial

En la lógica antigua era posible la subalternación, es decir, se podía derivar una

particular a partir de una universal. Es decir, la verdad de la proposición
universal implicaba la verdad de la proposición particular:

A I

E O

4. Inferencia asilogística
En la inferencia silogística solo se han cuantificado proposiciones atómica;
de ahí la sencillez de este tipo de inferencias. Pero también es posible
cuantificar proposiciones moleculares, es decir, proposiciones en las que
intervienen las conjunciones. En este caso las inferencias se complican y
nos salimos ya de los modos tradicionales .Por consiguiente, tenemos que
hablar ahora, no de inferencias silogísticas, sino de inferencias no
silogísticas o asilogística.


