Unidad n°2: Lógica Cuantificacional o de predicados.

La lógica es una ciencia que se ocupa de las leyes, maneras y formas del
razonamiento, valiéndonos siempre del razonamiento deductivo, en este caso
estudiaremos otra rama de la lógica deductiva elemental, la lógica
cuantificacional o de predicados.
Gramática y lógica
Se denomina gramática a la ciencia que tiene como objeto de estudio a los
componentes de una lengua y sus combinaciones; la gramática en latín
grammatica hace referencia al arte de dominar una lengua de modo correcto,
tanto desde el habla como con la escritura, por ejemplo:
Cristina se encontraba estudiando matemática para ingresar a la universidad para
lo cual debía obtener una nota superior a cinco para aprobar e ingresar a la
universidad.

Como se puede observar, la gramática se define como el grupo de principios,

reglas y preceptos que rigen el empleo de un lenguaje en particular; por lo tanto al
estudiar la gramática, se hace hincapié en la morfología, es decir, la construcción
de las palabras. Además, de estudiar cómo se combinan y se relacionan entre
ellas.
De manera similar, la lógica le proporciona a la matemática un lenguaje con sus
principios y reglas para estudiar la validez de razonamientos. Por lo tanto la lógica
es la ciencia que se ocupa de las leyes, maneras y formas del razonamiento.
En base a lo anterior, podemos encontrar una conexión que se da entre la
gramática y la lógica, la importancia de formar oraciones coherentes que poseen
una determinada estructura semántica, que da significado a las expresiones
lingüísticas.
Individuos, predicados y cuantificadores
La lógica simboliza a los individuos mediante constantes individuales
representadas con minúsculas: a, b, c, etc. También se simbolizan con el mismo
tipo de letras: yo, tu, ella, este aquel, etc., llamados particulares egocéntricos, los
cuales equivalen a propio. Por ejemplo, en un contexto determinado El es militar
equivale a decir Guillermo es militar.
Ejemplos:

 Ella es doctora equivale a María es doctora.

 Aquel es un buen estudiante Javier es un buen estudiante.
Los predicados se simbolizan con letras mayúsculas y gramaticalmente pueden
ser verbos, verbos con sustantivos, verbos con adjetivos, verbos con adverbios;

1
Ejemplos:
María corre.
Julio es arquitecto.
Ana es una alumna muy destacada.
El rio de la cañada es un sitio de encuentro.

desde el punto de vista lógico también son predicados expresiones que desde el
punto de vista gramatical son sujetos. No todos los predicados lógicos son
predicados gramaticales.
Para simbolizar enunciados singulares se escribe en primer lugar la letra
predicativa seguida de la constante individual, es decir:
María corre por el parque

Sujeto Predicado
m C
Simbolización del enunciado es Cm

Sujeto =Letra minúscula

Predicado =letra mayúscula

Ejemplos:

 Alan juega con sus hermanas.

Ja

María teje una pañoleta.

Proposiciones singulares

La lógica cuantificacional se utiliza cuando la lógica proposicional resulta

insuficiente para analizar la validez de cierto tipo de razonamientos. En este caso
se hace un análisis de la estructura interna de la proposición, en la cual se
destacan los individuos de los predicados, ejemplo:

Mauricio es presidente

Sujeto Pm
Predicado

2
 En este sentido, se necesita un método con el que los enunciados no compuestos
puedan describirse y simbolizarse de tal manera que sea revelada su estructura
interna lógica. La cuantificación es ese método. Es decir, con la cuantificación, la
estructura interna de las proposiciones, las relaciones de sujetos y predicados,
queda a la vista y accesible gracias a los cuantificadores.

La proposición Mauricio es presidente es una proposición singular afirmativa, ya

que indica que un individuo particular tiene un atributo (característica) específica,
como por ejemplo:

Cristina es arquitecta, en este caso Cristina denota un sujeto en particular y es

arquitecta, el predicado que denota un atributo especifico.

En estos ejemplos los individuos se denotan con nombre propio que son los
sujetos gramaticales de las proposiciones. Las propiedades atribuidas a dichos
individuos son los predicados lógicos que en estos ejemplos coinciden con el
predicado lingüístico.

Las proposiciones singulares pueden aparecer negadas por ejemplo:

Cristina no es arquitecta, y se simboliza –Ac

También se pueden encontrar proposiciones compuestas, las cuales se

simbolizan utilizando los conectivos lógicos, ejemplo:

Cristina marcha y Fernando observa

b L ^ d M

Lb ^ Md

 Ivana promociona o regulariza.

 Esteban es estudioso y Carlos es inteligente.

Para predicados distintos que figuran dentro de una proposición compuesta deben
utilizarse letras diferentes y para predicados iguales las mismas letras. Lo mismo
sucede con las constantes individuales, por ejemplo:

Vanesa es firme y decidida

c E ^ D
Ec ^ Dc

3
  Martina juega y come.

Pedro y José son dentistas

a c G

Ga^Gc

Funciones proposicionales generales simples y complejas

Es importante tener en cuenta aquello que diferencia una proposición de una

función proposicional, es decir si consideramos una proposición singular como
María es odontóloga, podemos asegurar que es una proposición pues denota a
un individuo en particular María y a su vez tiene una característica especifica el de
ser odontóloga; de esta proposición se puede decir si es verdadera o falsa.

Sin embargo, cuando el individuo no está determinado, es ambiguo, como Fulano

es muy divertido es una expresión que no se puede decir de ella que sea
verdadera o falsa, en este caso no se denota a un individuo en particular que tiene
la característica de ser muy divertido. Por lo cual , en este caso el sujeto esta
indeterminado, para simbolizar esta indeterminación se utiliza una variable
individual que se las designa con las últimas letras del abecedario, x , y , z , etc.

Para simbolizar Fulano es muy divertido

x D

Dx

Ejemplos:

 Aquella es muy altanera.

Este tipo de función proposicional o cuasi proposición, puede definirse como

aquella forma cuantificacional que tiene, por lo menos una variable libre, la cual
puede pasar a ser una proposición, lo único que se debe hacer es sustituir la
variable individual(x, y, etc.) por nombres propios, o sea constantes(a, d, etc.), en
base a la función proposicional anterior al cambiar la variable individual de Fulano
por un nombre propio, como Marcos, la proposición seria:

4
 Marcos es muy divertido

a D

Da

 Abigail es muy altanera.

Las funciones proposicionales pueden aparecer negadas o unidas mediante

conectivos proposicionales, sea con otras funciones o con enunciados singulares,
o sea:

Fulano no es muy divertido

-Dx

x es par y z es impar

Px ^ Iz

 x es el triple de z y z es el doble de y.

Si en una expresión compuesta hay una función proposicional como componente,

toda la expresión es una función proposicional, ejemplo:

12 es un número natural y x es un número entero

a N ^ x E

Na ^ Ex Función Proposicional

Ejemplos:
10
- 5
es un numero negativo y x es un número real.

Las proposiciones generales simples. Los cuantificadores

Cuando se habla de cuantificadores en términos de Lógica, se hace referencia a

aquellos símbolos que se utilizan para indicar cantidad en una proposición, es
decir, permiten establecer “cuántos” elementos de un conjunto determinado,
cumplen con cierta propiedad.
Los cuantificadores permiten la construcción de proposiciones a partir de
funciones proposicionales, bien sea particularizando o generalizando. Por ejemplo,

5
 Función proposicional: x es un número primo, simbólicamente Px

Esto podría particularizarse así: “Existe un número real que es primo” o

generalizarlo diciendo: “Todos los números reales son primos”.
En cualquiera de los dos casos, se especifica un conjunto donde está tomando
valores la variable, para nuestro ejemplo, el conjunto de los números reales.

Cuando se particulariza o generaliza se utiliza determinados símbolos,

denominados, Cuantificadores existenciales y universales:

Algunas proposiciones están precedidas por las palabras todo, todos, cualquier,
cualquier cosa, cualquiera; aplicado en una proposición, por ejemplo:

 Todos son incoherentes

 Todo es incoherente.
 Cualquier cosa es incoherente.
 Cualquiera es incoherente.

La lógica simboliza éstas expresiones mediante los cuantificadores universales

que se simbolizan de la forma (∀𝒙) Ix. A este tipo de de proposiciones se las
denomina proposiciones universales. El cuantificador se antepone a la función
proposicional y se dice que la variable x cae bajo el alcance del cuantificador.

Así como al sustituir la variable por un individuo determinado transforma una

función proposicional en proposición, también provoca esta transformación la
cuantificación de la función proposicional.

Una proposición universal es verdadera cuando todos los casos de sustitución de

la variable son verdaderos y será falso cuando por lo menos un caso de
sustitución es falso.

Las proposiciones cuantificacionales pueden aparecer negadas, es decir:

No todo es incoherente: -(∀𝒙) Ix

 Cualquier cosa es colorida.

 Todo es soluble.

También pueden presentarse expresiones con las palabras, ninguno,

ninguna, ninguna cosa, nada, nadie, que representan enunciados
universales con negaciones pero en esos caso la negación se ubica después
del cuantificador, es decir: Nada es incoherente: (∀𝒙) -Cx

6
 Cuando en una proposición aparecen las palabras, algún, alguno, algunas
cosas, hay, hay cosas, ciertas cosas, contiene un cuantificador
existencial (∃𝑥), por ejemplo:

Algunas cosas son incoherentes

Hay incoherentes

Algunos son incoherentes

Ciertas cosas son incoherentes

La lógica simboliza este tipo de expresiones mediante cuantificadores

existenciales que se simboliza de la forma (∃𝑥) Ix.

Cuando un cuantificador existencial se antepone a una función proposicional la

transforma en una proposición; una proposición existencial es verdadera cuando
hay por lo menos un caso de sustitución de la función proposicional que involucra
que sea verdadera y es falsa cuando no hay ningún caso de sustitución que la
haga verdadera.

Las proposiciones existenciales también pueden ser negadas, es decir:

No hay cosas incoherentes: - (∃𝑥) Ix

Ejemplos: Hay cosas que faltan en el I.E.S.

Ciertas cosas son aburridas.

Análogamente a lo que ocurre con los cuantificadores universales, hay

proposiciones existenciales con negaciones internas que se anteponen al verbo.
Por ejemplo:

Alguna cosas no son incoherentes: (∃𝑥) –Ix

Ejemplos:

 Ciertas cosas no son demostradas en Geometría.

 Algunas mamas no son pacientes.

Se denominan proposiciones generales simples a las proposiciones que tienen un

único predicado y son universales o existenciales. Pueden unirse mediante los
conectivos proposicionales con enunciados singulares, con funciones
proposicionales y con otras proposiciones generales. Por ejemplo:

Si la Tierra gira, todo está en movimiento. Ga => (∀𝒙)Mx

7
 Si algo cae, todo se moverá (∃𝑥) Cx=> (∀𝒙)Mx

Si nadie viene, María se irá (∀𝒙)–Vx => Ia

Alcance de un cuantificador

En este sentido se hace referencia al área de influencia de un cuantificador, es

decir, si un cuantificador no va seguido por un signo de puntuación (paréntesis,
corchete o llave) su alcance llega hasta las variables correspondientes a la
primera letra de predicado a su derecha; ejemplo (∀𝒙)Sx, el alcance del
cuantificador llega hasta x de la función Sx y en la forma (∀𝒙)Sx ^ Lx llega hasta
la x de Sx, y no a la de Lx. Cuando el cuantificador tiene un signo de puntuación
izquierdo, su alcance llega hasta el signo de puntuación derecho, o sea, que su
alcance se extenderá a toda la expresión encerrada dentro de los paréntesis,
corchetes o llaves, es decir: `(∀𝒙)[Sx ^ Lx]´ por lo tanto las dos variables caen
dentro del cuantificador universal o el cuantificador existencial, las dos variables
dentro del corchete se denominan variables ligadas que son aquellos que caen
dentro del cuantificador correspondiente; se llaman variables libres las que no
tienen un cuantificador correspondiente

Por ejemplo: (∀𝒙)Fx Gx

Proposición Variable libre

Función proposicional

Tipos de Proposiciones generales complejas categóricas

Las proposiciones generales complejas, en la lógica tradicional se las denominan

proposiciones categóricas, en las cuales se puede encontrar cuatro tipos de
proposiciones categóricas:

 Tipo A, o universal afirmativa : Aquellos tipos de enunciados, que poseen

un mismo significado, ejemplo:

Todos los hombres son seres humanos

Cualquier hombre es ser humano

Los hombres son seres humanos

Si algo es hombre, entonces es un ser humano

8
Las proposiciones de este tipo son verdaderas cuando todos los casos de
sustitución de la función proposicional Jx Ix son verdaderos, y es falsa cuando
hay por lo menos un caso de sustitución que es falsa. Son los llamados
Condicionales generales, donde el condicionador surge al analizarse la estructura
interna de las proposiciones, tal como se da en la lógica proposicional.

¨Los hombres son seres humanos¨

Por último, como se puede observar este tipo de enunciados no coincide el

predicado gramatical con el predicado lógico, pues ser hombre es para la lógica
un predicado, tanto como un ser humano, mientras que gramaticalmente hombre
es sujeto. Por ello se simboliza estos enunciados mediante el esquema Todo J es
I, coincidiendo con el análisis gramatical.

Este tipo de enunciado puede ser negado, es decir:

No todos los hombres son seres humanos

`-(∀𝒙)(Jx Ix)´

 Tipo E, o universal negativa: Tanto el condicional como la negación

surgen del análisis interno de las proposiciones; serán verdaderos cuando
todos los casos de sustitución de la función proposicional ` Fx -Gx´ son
verdaderos, y son falsos cuando hay por lo menos un caso de sustitución
falso. La lógica tradicional lo simboliza mediante el esquema `Ningún G es
F´. También pueden darse negados, es decir:

No es cierto que ningún hombre sea un ser humano

`-(∀𝒙)(Fx -Gx)´
 Tipo I, o particular afirmativa: Cuando se desea realizar una explicación
sobre un mensaje para que este resulte más sencillo de comprender, como:
algunos perros son negros

Ciertos perros son negros

Algún perro es negro

Hay perros negros

Todos estos enunciados indican que `existe por lo menos un x tal que x es perro
y x es negro´. Estos tipos de expresiones son equivalentes e involucran un
cuantificador existencial; simbólicamente ` (∃𝑥) (Fx^Gx)´; la lógica tradicional los
representa mediante la forma `Algún S es P´

9
 Este tipo de expresiones son verdaderas por lo menos cuando un caso de
sustitución de la función proposicional que involucra que es verdadera y son falsos
cuando no hay ningún caso de sustitución que lo hace verdadero. Estas pueden
aparecer negadas, es decir. Por ejemplo:

No es cierto que haya conejos colorados

`-(∃𝑥)(Jx ^ Ix)´

 Tipo O, o particular negativa: si tenemos en cuenta ciertos enunciados,

como:

Algunos gatos no son rojos

Ciertos gatos no son rojos

Algún gato no es rojo

Hay gatos que no son rojos

y se desea dar una explicación sobre un mensaje para que este resulte más fácil
de comprender, podemos enunciar que `existe por lo menos un x tal que x es gato
y x no es rojo´, y se simboliza `(∃𝑥) (Jx^-Ix)´; la conjunción como la negación
surgen del análisis interno de los enunciados.

Son verdaderos cuando hay por lo menos un caso de sustitución de la función

proposicional `Jx^-Ix´, que es verdadera, y son falsas cuando no hay ninguno de
ellos que sea verdadero. La lógica los simboliza mediante `Algún S no es P´.

Pueden darse negados, como el enunciado `No hay perro que no ladre´,
simbólicamente `-(∃𝑥)(Ax^-Gx)´.

En síntesis, se pueden considerar los cuatro tipos de proposiciones categóricas:

A, E, I y O, y sus respectivas negaciones: -A, -E, -I, y -O; donde los conectivos
proposicionales binarios pueden unir estos tipos de enunciados entre sí, o con los
tipos de enunciados señalados anteriormente, en múltiples combinaciones. Por
ejemplo:

Si todos los políticos son mentirosos, Cristina también lo es

(∀𝒙)(Ax Jx)

Si todos los jóvenes son violentos, no hay jóvenes que no sean violentos

(∀𝒙) (Px Cx) (∃𝑥) (Px ^ -Cx)

10
Resumen:

Proposiciones Generales complejas categóricas

Tipo A o Universal afirmativa (∀𝐱)(𝐏𝐱 → 𝐐𝐱)

Tipo E o Universal Negativa (∀𝐱)(𝐏𝐱 → −𝐐𝐱)

Tipo I Particular Afirmativa (∃𝐱)(𝐏𝐱 ⋀ 𝐐𝐱)

Tipo O Particular negativa (∃𝐱)(𝐏𝐱 ⋀ −𝐐𝐱)

Funciones generales complejas no categóricas.

La lógica moderna reconoce otras formas cuantificacionales distintas de las

categóricas. Hay enunciados generales que tiene más de dos predicados.

Ejemplo: Los alumnos becados son responsables

(∀x)[(Ax ^ Bx) → Rx]

Los caballos son rápidos y audaces

(∀𝒙) [Cx → ( Rx^ Ax)]

Algunos directivos ni son puntuales ni son eficientes

(∃𝑥) (Dx ^ -Px ^ -Ex)

Otros tipos de enunciados se diferencian de los categóricos porque al simbolizarlo

se deben utilizar otros conectivos distintos del condicional, la conjunción y la
negación, pudiendo tener más de dos letras predicativas, como ser:

Todo estará ordenado si solo si se mantiene cuidado

Todo está
(∀𝒙) (OxDulce
↔ Cx)o salado

Hay que tener en consideración que hay predicados que al enunciarse juntos con
otros, forman una unidad de tal manera que es incorrectos simbolizarlos con letras
predicativas distintas.

Ejemplo: Las buenas personas son caritativas, simbólicamente (∀𝒙)(Bx →Cx)

11
 No debe entenderse como para todo x si x es “persona”, y x es “buenas”, no es
un predicado independiente sino que depende del predicado ¨persona¨; ambas
forman una unidad. Al comparar enunciados:

A. Ciertos grandes dibujantes han sido famosos

B. Ciertas mesas verdes son decorativas

El enunciado A “grandes dibujante” deberá tomarse como un único

predicado, en B “mesa y verde” son predicados separados.

Simbolización:

A- (∃𝑥)(Fx ∧ Gx)
B- (∃𝑥)[(Mx ∧ Vx) ∧ Dx] el existencial no se asocia con la implicacion

Hay casos que es difícil determinar si algunos predicados forman una unidad, o
si pueden tomarse por separado.

Por un lado el lenguaje ordinario no tiene límites definidos y hay un

gradualismo en los enunciados que se ven claramente, que se trata de un
único predicado, y donde están separados.

 Los chocolates blancos son aireados

 Algunos perros son dóciles y dormilones
 Los buenos empresarios si no trabajan no son felices

El cuadrado de oposición :

La lógica tradicional establecía las siguientes relaciones lógicas representadas en

el siguiente cuadro de oposición o cuadrado de oposición.

12
 I. A y O son contradictorios, esto significa que no pueden ser ambas verdaderas ni
ambas falsas. (si uno es verdadero el otro es falsa, jamás pueden ser
ambas verdaderas)
II. I y E también son enunciados contradictorios.
III. A y E son contrarios, o sea que no pueden ser ambas verdaderas.
IV. I con O son subcontrarios, es decir no pueden ser ambos falsos.
V. I es sub alterno de A, o sea I se deduce de A, esto implica que no puede
ser A verdadero e I falso.
VI. O es subalterno de E, o sea O se deduce de E.

La lógica simbólica o moderna representa el cuadro de la siguiente manera:

(∀𝑥)(𝐹𝑥 → 𝐺𝑥) (∀𝑥)(𝐹𝑥 → −𝐺𝑥)

(∃𝑥)(𝐹𝑥 ∧ 𝐺𝑥) (∃𝑥)(𝐹𝑥 ∧ −𝐺𝑥)

En este caso se da otra interpretación de las relaciones lógicas existentes entre

los cuatro tipos de enunciados.

I. A y O son enunciados contradictorios.

II. E e I son enunciados contradictorios

En estas afirmaciones coincide la lógica tradicional con la simbólica pero no en las

otras relaciones.

La relaciones de la lógica tradicional si se cumplen para enunciados generales

simples:

13
Reglas de ejemplificación y generalización.

Son las leyes de la lógica cuantificacional las correspondientes de la lógica

proposicional para formas cuantificacionales, como ser las leyes de inferencia,

Ejemplo: El Modus Ponens

En el cual tenemos una conjunción entre una implicación p, q y el antecedente p

obteniéndose al consecuente q, es decir:

p→ q (∀𝑥) Fx → La

P /:. q (∀𝑥) Fx/:. La

Intercambio de cuantificadores

Para realizar el intercambio de cuantificadores se recurren a determinadas leyes

es decir:
I. Una proposición universal es equivalente a otra existencial con una
negación a la izquierda y otra de la derecha del cuantificador que afecta a
toda la expresión siguiente. Por ejemplo: (∀𝑥)Fx ↔ −(∃𝑥)-Fx

II. Una proposición existencial es equivalente a otra universal con una

negación a la izquierda y otra a la derecha del cuantificador que afecta a
toda la expresión siguiente (∃𝑥)Fx↔ -(∀𝑥)-Px

14
III. Una proposición universal negada equivale a otra existencial con una
negación a la derecha del cuantificador que afecta a toda la expresión
siguiente

– (∀𝑥) Fx ↔ (∃𝑥)- Fx

IV. Una proposición existencial negada equivale a otra universal con una
negación a la derecha del cuantificador que afecta a toda la expresión
siguiente
–(∃𝑥)Fx ↔ (∀𝑥) -Fx

DISTRIBUTIVIDAD DE CUANTIFICADORES
1°- el cuantificador universal es distributivo con respecto a la
conjunción.
Por ejemplo: ` todo es material y espacial equivale a “todo es material y
todo es espacial” y se simboliza

(∀𝒙) (Fx ʌ Gx) ↔ (∀𝒙)Fx ʌ (∀𝒙)Gx

2°-El cuantificador existencial es distributivo con respecto a

disyunción.
Por ejemplo: `Algo es material o inespacial equivale a “algo es material
o algo es inespacial”
(∃𝒙) (Fx ν Gx) ↔ (∃𝒙)Fx ν (∃𝒙)Gx

Valen además, dos implicaciones que se agregaran como reglas, que

representan una implicación en un solo sentido.
a- La disyunción de dos cuantificadores universales implican la
cuantificación universal de la disyunción.

Por ejemplo: “todo es material o todo es espacial” implica “todo es

material o espacial”

Simbólicamente: (∀𝑥) Fx ν (∀𝑥) Gx → (∀𝒙)(Fx ν Gx)

b- La cuantificación existencial de una conjunción implica la conjunción de

la cuantificación existencial de los conjuntivos.

15
 Por ejemplo: “algo es espacial y material” implica “algo es espacial
y algo es material”
*Alguien es rico yhonesto, entonces alguien es rico y alguien es
honesto
Simbólicamente: (∃𝑥)(Fx ʌ Gx) ↔ (∃𝑥)Fx ʌ (∃𝑥)Gx

Ley de subalternación De una cuantificación universal se deduce una

cuantificación existencial. Simbólicamente (∀𝑥) Fx ↔ (∃𝑥)Fx

EL METODO DEMOSTRATIVO

Los métodos del condicional asociado y de las forma booleanas (George Boole-
matemático Ingles autodidacta) que hacen referencia a las técnicas algebraicas
para tratar expresiones de la lógica proposicional no pueden aplicarse a
razonamientos cuantificacionales. Si es posible en cambio, aplicar el método
demostrativo, para ello se utilizaran las reglas de la lógica proposicional más las
nuevas reglas de la lógica cuantificacional.

Por ejemplo:

a- Si todo es fácil y agradable, María no estudiara. No hay cosas

que no sean agradables. Todo es fácil. Luego María no
estudiara.
1°) (∀𝑥) (Fx ʌ Gx) -Em
2°) -(∃𝑥)– Gx
3°) (∀𝑥) Fx /:. –Em
{2} 4°) (∀𝑥) Gx de 2 por intercambio de cuantificador
{2,3} 5°) (∀𝑥) Fx ʌ (∀𝑥)Gx en 3 y 4 por conjunción
{2,3,} 6°) (∀𝑥) (Fx ʌ Gx) en 5 por distrib.de conjunción.
{1, 2,3} 7°) -Em en 1 y 6 por M.P.

b- si todo es simple o fácil, Carlos hará el trabajo. No es cierto

que hay cosas que no son simples y hay cosas que no son
fáciles. Luego Carlos hará el trabajo
1°) (∀𝑥) (Fx ν Gx) Ha
2°) -[(∃𝑥)–Fx ʌ (∃𝑥)– Gx] /:. Ha
{2} 3°) -(∃𝑥)–Fx ν (∃𝑥)–Gx en 2 por L de M
{2y 3} 4°) (∀𝑥)Fx ν (∀𝑥)Gx en 3 por intercambio de cuantificador
{2y3} 5°) (∀𝑥) (Fx ν Gx) en 4 por cuantificación
{1, 2,3} 6°) Ha en 1 y 5 M. P.

16
REGLAS DE EJEMPLIFICACION Y GENERALIZACION

Resta agregar otras cuatro reglas a la lista de reglas del método demostrativo para
la lógica cuantificacional.

EJEMPLIFICACION UNIVERSAL (E. U.) : dado un enunciado (premisa o derivado

de las premisas) que sea la cuantificación de una función proposicional, se infiere
cualquier caso de sustitución de la misma (con variables o constantes).

Por ejemplo:

(∀𝑥)Fx/∴ Fy , (∀𝑥) Fx /∴ Fa , (∀𝑥)(Fx → Gx) /∴ Fb → Gb, (∀𝑥) (Fx →Gx) /∴

Fx→Gx

 “todos los gatos maúllan. Tommy es un gato. Luego Tommy maúlla.

1°) (∀𝑥) (Gx → Mx)
2°) (Ga) /:. Ma
{1} 3°) Ga → Ma de 1 por E.U.
{1 y2} 4°) Ma por 2 y 3 por M.P.

GENERALIZACION UNIVERSAL (G.U.): a partir de una función proposicional que

tenga cualquiera de sus casos de sustitución verdadera se infiere la cuantificación
universal de dicha función.

Por ejemplo: Fy /:. (∀𝑥) Fx Fx → Gx /:.( ∀𝒙)(Fx → Gx)

 “Todos los andalgalenses son Argentinos. Todos los argentinos son

americanos. Por lo tanto, todos los andalgalenses son americanos
1°) (∀𝑥) (Fx → Gx)
2°) (∀𝑥) (Gx → Hx) /:. (∀𝑥)(Fx → Hx)
{1} 3°) Fy → Gy en 1 por E. Universal
{2} 4°) Gy → Hy en 2 por E. Universal
{1y2} 5°) Fy → Hy en 3 y 4 por S.H
{1y2} 6°) (∀𝑥) (Fx) → (Hx) en 5 por Generalización Universal

Los pasos 3 y 4 de ejemplificación universal tienen la función de suprimir los

cuantificadores para que puedan aplicar las reglas proposicionales, en este caso
S.H. o se en el paso 5. El último paso restituye los cuantificadores.

17
EJEMPLIFICACION EXISTENCIAL (E.E.): Dado un enunciado que sea la
cuantificación existencial de una función proposicional se infiere de un caso de
sustitución de la función proposicional con la restricción de que se utilicen
constantes que no hayan aparecido antes. Estas constantes reciben el nombre de
constantes ambiguas por que denota un individuo determinado pero no
especificado. La restricción indicada tiene la función de evitar la deducción de
inferencias inválidas

Ejemplo:

(∃𝐱)Fx/∴ Fw ,(∃𝐱) (Fx ʌ Gx) /∴ Fw ʌ - Gw

GENERALIZACION EXISTENCIAL (G.E.): A partir de una forma cuantificacional

se infiere o se deduce la cuantificación universal.

Ejemplo:

Fy/∴ (∃𝒙)Fx , Fx/∴ (∃𝒙)Fx , Fa /∴ (∃𝒙)Fx , Fa ⋁ -Ga/∴ (∃𝒙)(Fx ⋁ -Gx)

 “algunas cosas rojas son perfumadas. Puesto que algunas cosas

rojas son flores y todas las flores son perfumadas¨.
1°) (∃𝑥) (Rx ʌ Fx)
2°) (∃𝑥) (Fx → Px) /:. (∃𝑥) (Rx ʌ Px)
{1} 3°) Rw ʌ Fw en 1 por ejemplificación Existencial
{2} 4°) Fw → Pw en 2 por E. Universal
{1} 5°) Fw en 3 por simplificación
{1y2} 6°) Pw en 4 y 5 por M.P
{1} 7°) Rw en 3 por simplificación
{1y2} 8°) Pw ʌ Rw en 7 y 6 por conjunción
{1y2} 9°) (∃𝑥) (Rx ʌ Px) en 8 por G.E

Siempre en un razonamiento hay que aplicar primero Ejemplificación

Existencial, que es la restricción y luego Ejemplificación Universal.

Por ejemplo: “los perros son vertebrados y mamíferos. Algunos perros son
guardianes. Luego algunos vertebrados son guardianes.

1°) (∀𝑥) [Px → (Vx ʌ Mx)]

18
 2°) (∃𝑥) (P x ʌ Gx ) /:. (∃𝑥) (V x ʌ Gx)
{2} 3°) Pw ʌ Gw en 2 por E.E
{1} 4°) Pw (Vw ʌ Mw) en 1 por E.U
{2} 5°) Pw en 3 por simplificación
{1y2} 6°) (Vw ʌ Mw) en 4 y 5 por M.P
{1y2} 7°) Vw en 6 por simplificación
{2} 8°) Gw en 3 por simplificación
{1y2} 9°) Vw ʌ Gw en 7 y 8 por conjunción
{1y2} 10°)(∃𝑥) ( Vx ʌ Gx) en 9 por G.E

Resumen:

Reglas de Ejemplificación y Generalización

Intercambio de cuantificadores 1. (∀𝑥)Fx ↔ −(∃𝑥)Fx
2. (∃𝑥)Fx↔ -(∀𝑥)-Px
3. – (∀𝑥)Fx ↔ (∃𝑥)- Fx
4. –(∃𝑥)Fx ↔ (∀𝑥) -Fx

Distributividad de Reversible  (∀𝒙) (Fx ʌ Gx) ↔ (∀𝒙)Fx ʌ (∀𝒙)Gx

cuantificadores  (∃𝒙) (Fx ν Gx)↔ (∃𝒙)Fx ν (∃𝒙)Gx

Irreversible  (∀𝑥) Fx ν (∀𝑥) Gx ↔ (∀𝑥)(Fx ν Gx)

 (∃𝑥)(Fx ʌ Gx) ↔ (∃𝑥)Fx ʌ (∃𝑥)Gx

Ley de subalternación (∀𝑥) Fx ↔ (∃𝑥)Fx

Regla de ejemplificación universal (E.U.) (∀𝑥)Fx/∴ Fy , (∀𝑥) Fx /∴ Fa
Regla de generalización universal(G.U.) Fy /:. (∀𝑥) Fx
Ejemplificación existencial(E.E.) (∃x)Fx/∴ Fw
Generalización Existencial (G.E) Fy/∴ (∃𝑥)Fx , Fx/∴ (∃𝑥)Fx

PREDICADOS MONADICOS Y POLIADICOS

Los predicados monádicos son aquellos que se aplican a un solo individuo ya sea
constante o variable, este último libre o cuantificado.
Los predicados poliádicos o relacionados que son aquellos que involucran a
dos o más individuos. (es importante el oreden en que van las letras)
Por ejemplo: Marcela quiere a Luis
a A b ; Aab

19
 Salta está entre Jujuy y Catamarca
a E d c ;Eadc

Aquellos predicados que involucran a dos o más individuos se llaman diádicos.

Por ejemplo: María y Susana son Hermanas.

a s B ; Bas

Aquellos predicados poliádicos que involucran a tres individuos se llaman

triádicos.

Por ejemplo: Carlos viajara de Bs. As., a Mar del Plata

a B b c ;Babc

Los predicados poliádicos que involucran a cuatro individuos se llaman tetrádicos.

Por ejemplo: Juan, Claudio, Mario y Esteban juegan juntos.

Aquellos predicados poliadicos que involucran a más de 4 personas n-ádicos. Se

llaman grado de un predicado que representa al número de individuos al que se
aplica dicho predicado.

Los predicados monádicos son predicados de grado 1

Los “ Diádicos “ “ “ “ 2

Los “ Triádicos “ “ “ “ 3

Los “ Tetrádicos “ “ “ “ 4

Los “ n-ádicos “ “ “ “ n

Para simbolizar los predicados poliadicos se usan las mismas letras que la de los
predicados monádicos y los individuos se representan igualmente por constantes
o variables.

Es importante en el orden en que figuran las letras individuales.

Si a = Juan

b = Rodolfo

F = Ser mayor que

20
“Fab” simboliza Juan es mayor que Rodolfo, en cambio ¨Pba¨ simboliza Rodolfo
es mayor que Juan.

Algunos enunciados contienen predicados poliadicos que solo involucran

nombres propios, como “Luis ama a Carmen” es igual Fab, “negado” - Luis no ama
a Carmen¨ equivales a –Fab

Puede darse unido mediante los conectivos diádicos en múltiples combinaciones

por ejemplo, “Jorge es más joven que Luis” y “Luis es más joven que Darío”
equivale Fab ∧ Fbc

Ejemplo:

 Jujuy esta al norte de Mendoza (Ejm)

 Rodríguez es más simpático que Pérez (Erp)

Funciones Proposicionales generales con predicados poliadicos

Son todas aquellas expresiones que contengan por lo menos una variable libre.

Por ejemplo: Todos los matemáticos admiran a Euclides ( ∀𝑥) ( Mx→Axe)

 Daniel aprende de algún profesor (∃𝑥)(Px ∧ Axd)

 Todos los hombres admiran a algún futbolista ( ∀𝑥) [(Hx → (∃𝑦)(Fy ∧
Axy)]
 Algunos niños agradan a todas las prsonas (∃𝑥)[Nx∧
 Todas las madres aman a sus hijos
 Todos los estudiantes aprenden de algún profesor

(∀𝑥)[𝐸𝑥 → (∃𝑦)(𝑃𝑦 ∧ 𝐴𝑥𝑦)]

 Si los perros ladran a los gatos, los gatos huyen de los perros
(∀𝑥){𝑃𝑥 → [(∀𝑦)𝐺𝑦 → (𝐿𝑥𝑦 → 𝐻𝑦𝑥)]}

LEYES LOGICAS

Son leyes de la lógica cuantificacional con predicados poliádicos los

correspondientes a la lógica proposicional.

Por ejemplo: el siguiente es un caso de idempotencia

(∀𝑥) Fxa ↔ - (∃𝑥)–Fxa

21
Estas también son leyes propias de formas cuantificacionales con predicados
poliádicos de cuantificación múltiple.

Leyes de intercambio de cuantificadores

(∀𝑥) (∀𝑦) Fxy ↔ - (∃𝑥) (∃𝑦)Fxy

(∃𝑥) (∃𝑦)Fxy ↔ - (∀𝑥) (∀𝑦) – Fxy

-(∃𝑥) (∃𝑦)Fxy ↔ (∀𝑥) (∀𝑦) –Fxy

-(∀𝑥) (∀𝑦) Fxy ↔ (∃𝑥)(∃𝑦)–Fxy

Conmutación de cuantificadores:

(∀𝑥)( ∀𝑦) Fxy ↔ (∀𝑦) (∀𝑥) Fxy

(∀𝑥) (∃𝑦)Fxy → (∃𝑦) (∀𝑥) Fxy

(∃𝑥) (∃𝑦)Fxy ↔ (∃𝑦) (∃𝑥) Fxy

Métodos demostrativos Razonamientos con predicados poliádicos

El método demostrativo puede aplicarse a razonamientos cuantificacionales

usando las reglas de la lógica proposicional más las nuevas reglas de la lógica
cuantificacional.

Hay razonamientos válidos cuya validez no puede probarse ni con la lógica

proposicional, ni con la lógica cuantificacional con predicados monádicos. Solo
pueden demostrarse su validez haciendo uso de los predicados poliádicos. Por
ejemplo:

El Polo Norte está al norte de todas las ciudades. Buenos Aires es una
ciudad. El Polo Norte está al norte de Buenos Aires.

1°) (∀𝐱) (Fx → Nax)

2°) Fb /:. Nab

{1} 3°) Fb → Nab en 1 por E.U

{2y3} 4°) Nab en 3 y 2 por M.P

22
Intercambio y Conmutación de Cuantificadores

Hay equivalencias que son propias del enunciado con predicado poliadicos,
asociados a las leyes lógicas, pero que pueden deducirse de las reglas y
equivalencias de la lógica cuantificacional. Para predicados monadicos, como el
siguiente intercambio de cuantificadores:

(∀𝒙)( ∀𝒚)Fxy equivales a -(∃𝒙)(∃𝒚) -Fxy

(∃𝒙)(∃𝒚)Fxy equivale a -(∀𝒙)( ∀𝒚)-Fxy

-(∀𝒙)( ∀𝒚)Fxy equivale a (∃𝒙)(∃𝒚)-Fxy

-(∃𝒙)(∃𝒚)Fxy equivale a (∀𝒙)( ∀𝒚)-Fxy

Y las de conmutación de cuantificadores:

(∀𝒙)( ∀𝒚) Fxy equivale a (∀𝒙)( ∀𝒚) Fxy

(∃𝒙)(∃𝒚) Fxy equivale a (∃𝒙)(∃𝒚) 𝐅𝐱𝐲

(∃𝒙)( ∀𝒚) Fxy implica (∀𝒚) (∃𝒙) Fxy

Ejemplo:

Demostración de equivalencia de conmutación de cuantificador universal:

1-(∀𝒙)( ∀𝒚) Fxy /∴ (∀𝒚)( ∀𝒙) Fxy

2-( ∀𝒚) Fxy en 1 por E. U.

3- Fxy en 2 por E.U

4- (∀𝒙) Fxy en 3 por G.U.

5- (∀𝒚)( ∀𝒙) Fxy en 4 por G.U.

Del (∀𝑥)( ∀𝑦) Fxy se deduce (∀𝑦)( ∀𝑥) Fxy por igual procedimiento se prueba de
que este último se deduce del primero; son por lo tanto equivalentes.

Reglas de ejemplificación y Generalización

Estas reglas para ser utilizadas en razonamientos con cuantificación múltiples

requieren ciertas restricciones algo complejas.

23
Una de las restricciones impide demostrar que:

(∀𝑦) (∃𝑥)Fxy implica (∃𝑥)(∀𝑦) Fxy , esta implicación no es válida, si es válida en

sentido contrario.

Simbólicamente:

1 –Todo modifica a algo, o sea, para todo x, x modifica algún y

1 (∀𝒙) (∃𝒚)Fxy

2- Algo es modificado por todo, o sea, hay por lo menos un y tal que todos los x lo
modifican

2 (∃𝒚)(∀𝒙)𝐅𝐱𝐲

 Todos los dentistas educan a sus pacientes. Carlos es dentista

y Jorge es su paciente. Luego, Carlos educa a Jorge

D= Ser dentista P= ser paciente E= Educar a

1°) (∀𝑥)[(Dx→(∀𝑦)(Pyx→Exy)]

2°) Da∧Pba /∴ Eab

{1} 3°) Da→(∀𝑦)(Pya→Eay) en 1 por E.U.

{2} 4°) Da en 2 por simplificación

{1, 2} 5°) (∀𝑦)(Pya→Eay) en 3 y 4 por M. P.

{1, 2} 6°) Pba→Eab en 5 por E.U.

{2} 7°) Pba de 2 por Simplificación

{1, 2} 8°) Eab de 6 y7 por M.P.

24