CURSO DE LOGICA INDICE

II UNIDAD: PREDICADOS Y CUANTIFICADORES

CONCEPTOS BASICOS
I CICLO
2017-I
Docente Responsable:
Dr.Adm. Miguel Bardales Crdenas
1.- DEFINICIN DE LGICA DE
PREDICADOS
2.- DEFINICIN DE PREDICADOS
3.- CONSTANTES Y VARIABLES
4.- CUANTIFICADORES
 INTRODUCCIN
LA LGICA DE PREDICADOS O LGICA DE PRIMER RDEN ES
UNA EXTENSIN DE LA LGICA PROPOSICIONAL.

TODAS LAS EQUIVALENCIAS Y REGLAS DE INFERENCIA VISTAS

EN LA LGICA PROPOSICIONAL SON VLIDAS EN LA LOGICA
DE PREDICADOS.
EN EL PRESENTE ESTUDIO INTRODUCIREMOS DOS
ELEMENTOS ADICIONALES QUE SON EL CONCEPTO DE
PREDICADOS Y EL DE CUANTIFICADOR, LO CUAL HACE LA
DIFERENCIA ENTRE LA LGICA PROPOSICIONAL Y LA LGICA
DE PREDICADOS.
 cuatro
,Conectivos y Cuantificadores.
 TAMBIEN LAS PROPOSICIONES ATMICAS PREDICATIVAS PUEDEN CLASIFICARSE

Las proposiciones que intervienen en este nuevo tipo de inferencias son ATOMICAS
PREDICATIVAS. De acuerdo a la CANTIDAD DEL SUJETO, pueden clasificarse
en:
1.- SINGULARES: El sujeto es un individuo. Ejemplo: Este hombre, Juan.
2.- UNIVERSALES: El sujeto indica la totalidad de Individuos. Ejemplo: Todos los
hombres
3.- PARTICULARES: El sujeto seala una parte de los individuos. Ejemplo: Algunos
hombres, ciertos compatriotas.
 4.- SIMBOLO DE LOS CUANTIFICADORES

UNIVERSALES : EXISTENCIALES:
SIGNIFICA: SIGNIFICA:
TODO ALGN
NINGN ALGN NO
CADA HAY UN
CUALQUIERA CIERTOS
 Para todo x, x es mortal

Para todo x, x no es mortal

Existe algn x tal que, x es mortal

Existe algn x tal que, x no es mortal

 CUADRO DE BOECIO

x M(x)
 SINTAXIS DE LA LOGICA DE PREDICADOS: SIMBOLOS
RESUMIENDO LOGICOS
VARIABLES INDIVIDUALES: Que representan a individuos indeterminados. Se emplean las ltimas letras
minsculas del alfabeto: x, y, z
CONSTANTES INDIVIDUALES: Que representan individuos determinados. Se utilizan las primeras letras
minsculas del alfabeto. a,b, c.d.e.
VARIABLES PREDICATIVAS: Que representan predicados indeterminados . Se usan estas letras
maysculas: F, G, H
CUANTIFICADORES: Hacen referencia a la totalidad o a una parte de los miembros de un conjunto.
Pudiendo ser la GENERALIZACIN UNIVERSAL O PARTICULAR, los cuantificadores son de dos tipos:

( .) : CUANTIFICADOR UNIVERSAL o GENERALIZADOR

(..) : CUANTIFICADOR EXISTENCIAL O PARTICULARIZADOR

Fuente: INSTITUTO TECNOLGICO DE MONTERREY. Lgica de predicados. Citado el 11/05/2015:

http://campus.cva.itesm.mx/nazira/Tc1001/L%C3%B3gica%20de%20predicados.pdf
REGLAS DE FORMACIN DE FRMULAS BIEN FORMADAS (RFBF)

REGLA N3: Cada variable predicativa seguida de

REGLA N 1: Cada variable predicativa seguida
una o mas variables individuales es una funcin
de una o ms constantes individuales, es una
proposicional atmica. Ejemplos:
proposicin atmica. Ejemplo:
a) Fx
a) Fa
b) Gxy
b) Gab
c) Hxyz
c) Habc
REGLA N 4: Cada funcin proposicional atmica
REGLA N 2: Cada proposicin atmica afectada
afectada al menos por un operador (conectivo) es
al menos por un operador (conectivo) es una
una funcin proposicional molecular. Ejemplos:
proposicin molecular. Ejemplos:
d) Fx Gy
d) Fa Gb
e) Fx (Gy v Hz)
e) Fa (Gb v Hc)
f) Fx Gy Hz
f) Fa Gb Hc
 REGLAS DE FORMACIN DE FRMULAS BIEN FORMADAS (RFBF)

REGLA N 5: Son variables libres las variables REGLA N 7: Son frmulas cerradas las
que no son afectadas por algn cuantificador. frmulas que no contienen variables libres.
Ejemplos: Ejemplos:
a) Fx a) ( x) Fx
b) Fx (Gy v Hz) b) ( x) (y) ( Fx Gy)
c) Fx Gy Hz c) ( x) ( y) (z) [( Fx Gy) v Hz]

REGLA N 6: Son variables ligadas las variables REGLA N 8: Son frmulas abiertas las frmulas
afectadas por algn cuantificador. Ejemplos: que contienen al menos una variable libre.
d) ( x) Fx Ejemplos:
e) ( x) (y) ( Fx Gy) d) Fx
f) ( x) ( y) (z) [( Fx Gy) v Hz] e) ( x) ( y) (x) ( Fx Gy) V H z
f) Fx ( y) ( z) ( Gy Hz)
 REGLAS DE FORMACIN DE FRMULAS BIEN FORMADAS (RFBF)

REGLA N 10: Si sustituimos las variables libres

REGLA N9 : Si cuantificamos las variables libres de una funcin proposicional por constantes
de una funcin proposicional, obtenemos una individuales obtenemos una proposicin.
proposicin. Ejemplos: Ejemplos:
a) Fx: ( x) Fx a) Fx: Fa
b) Gxy: Gab
b) ( Fx Gy) v Hz: c) Hxyz: Habc
( x) ( y) ( z) [(Fx Gy) v Hz]
REGLA N11: Son frmulas predicativas
c) Fx ( Gy Hz): mondicas las que contienen una sola variable
( x) (y) ( z) [ Fx ( Gy Hz) ] individual. Ejemplos:
d) ( x) Fx
e) ( y) ( Fy Gy)
f) ( z) [ ( Fz Gz) v Hz]
 REGLAS DE FORMACIN DE FRMULAS BIEN FORMADAS (RFBF)

REGLA N12: Son frmulas predicativas polidicas las que contienen

dos o ms variables individuales. Ejemplos:
a) (x) (y) Fxy
b) (x) (y) ( Fx Gy)
c) ( x) (y) (z) [Fx Gy) v Hz]

REGLA N 13: En la lgica de predicados de primer orden se

cuantifican solo las variables individuales. Ejemplos:
d) ( x) Fx
e) ( x) (y) ( Fx Gy)
f) ( x) (y) (z) [( Fx Gy) v Hz]
 FORMALIZACIN DE LAS PROPOSICIONES SINGULARES (SIMPLES O
ATOMICAS)
EJEMPLOS:
Una proposicin predicativa se a) David es abogado: Ad
simboliza funcionalmente b) David y Alfredo no son mdicos: ~Md ~Ma
c) Es falso que Alfonso y Mara sean mdicos:
invirtiendo el orden de sus ~ (Ma Mm)
elementos y, por razones d) Carlos y Manuel son hermanos: Hcm
e) Lima es la Capital del Per: Clp
operativas, se usa cualquier letra f) Lima est entre Ancash e Ica: Elai
Todas representan proposiciones pes sus
mayscula para los predicados y trminos o sujetos estn simbolizadas por
cualquier letra minscula para las constantes, que significan individuos
determinados, consecuentemente se
constantes individuales. pueden calificar de verdaderas o falsas
 FORMALIZACIN DE FUNCIONES PROPOSICIONALES

Las siguientes expresiones: X es

CUANTIFICACIN:
inteligente e Y es sabio, que se Una funcin proposicional expresa simblicamente la forma
simbolizan respectivamente Ix e de una proposicin individual. Para ampliar su significacin
Sy, son FUNCIONES a ms individuos se le anteponen los cuantificadores. As se
tiene:
PROPOSICIONALES, es decir casi Px: x es periodista
proposiciones, ya que sus (x) Px: Algunos x son periodistas
argumentos estn representados (x)Px: Todos los x son periodistas

por variables que significan La variable que constituye el cuantificador es precisamente

individuos indeterminados, de la variable que se desea cuantificar. No es necesario que
manera que no pueden ser calificadas siempre se escriba x, sino tambin que puede intervenir
cualquier otra variable individual como y z
de verdaderas o falsas.
 TRANSFORMACIN DE FUNCIONES EN
PROPOSICIONES

Hay dos maneras de transformar

funciones en proposiciones:
a) Sustituyendo la variable individual por
una constante individual. Ejemplo:
) Fx (Funcin proposicional)
) Fa ( Proposicin)
b) Anteponiendo un cuantificador a la
funcin. Ejemplo:
) Fx (Funcin proposicional)
) ( x) Fx (Proposicin)
) ( x) Fx (Proposicin)
Esta Claro que al anteponer un
cuantificador a la funcin ha
especificado cuantitativamente el
dominio de la variable individual
de manera que las expresiones
resultantes pueden ser calificadas
de verdaderas o falsas ya que
tienen un significado determinado
 FORMALIZACION DE PROPOSICIONES
CUANTIFICADAS

PROPOSICIONES FORMULAS

Todo x ensea ( x) Ex

Ningn x ensea ( x) ~ Ex

Algn x ensea ( x) E x

Algn x no ensea ( x ) ~ Ex
 REGLA DE EQUIVALENCIA ENTRE CUANTIFICADORES
(INTERCAMBIO DE CUANTIFICADORES : IC)

Para intercambiar cuantificadores se

suple uno con otro teniendo cuidado de EJEMPLOS:
cambiar de signo tanto el cuantificador a) Todos son probos equivale a es falso
como la funcin predicativa: que algunos no sean probos
b) Algunos son probos equivale a es falso
a) (x) Fx ~(x) ~ Fx que ninguno sea probo
b) ( x) Fx ~ ( x) ~ Fx c) Ninguno es probo equivale a es falso
c) ( x) ~ Fx ~ ( x) Fx que algunos sean probos
d) ( x) ~ Fx ~ ( x) Fx d) Algunos no son probos equivale a es
falso que todos sean probos
 FORMALIZACIN DE PROPOSICIONES COMPLEJAS (COMPUESTAS
O MOLECUALRES)

Habiendo establecido la representacin funcional de las proposiciones atmicas, es posible ahora

conectarlas con los operadores de la lgica proposicional, para formar con ellas proposiciones
moleculares. Por ejemplo, las siguientes proposiciones:
a) La noticia es sensacional y el pblico aplaude
p q
b) Si la funcin tiene xito, el promotor se alegra
p q
Se representa as:
b) Sn Ap
c) Ef Ap
 FORMALIZACIN DE LAS PROPOSICIONES CATEGRICAS

PROPOSICIN UNIVERSAL AFIRMATIVA (A):

Estamos en condiciones de
EJEMPLO: La proposicin:
proponer para las
proposiciones tradicionales Todos los limeos son peruanos
una expresin simblica
puede representarse funcionalmente:
ms gil (usada ya por
Aristteles) que permita Para todo x, si x es limeo, entonces x es peruano
( x) Lx Px
adaptarlas a los nuevos
procedimientos decisorios: La frmula resultante es: ( x) ( Lx Px)
 FORMALIZACIN DE LAS PROPOSICIONES CATEGRICAS

PROPOSICIN PARTICULAR AFIRMATIVA ( I):

PROPOSICIN UNIVERSAL NEGATIVA ( E )
Sea la proposicin:
Sea la proposicin:
Ningn congresista es adolecente Algunos universitarios son Garcilasinos
Se representa funcionalmente: Se representa funcionalmente
Para todo congresista x, si x es congresista, entonces
Existe por lo menos un x tal que, x es universitario
( x) Cx
y x
x no es adolescente
~ Ax ( x) Ux
es Garcilasino
La frmula resultante es : ( x) ( Cx ~ Ax) Gx
La frmula resultante es : ( x) ( Ux Gx)
 FORMALIZACIN DE LAS PROPOSICIONES CATEGRICAS

PROPOSICIN PARTICULAR NEGATIVA (O)

Sea la proposicin:

Algunos jueces no son corruptos

Se representa funcionalmente:

Existe por lo menos un x tal que, X es un juez y x no es

( x) Jx
corrupto
~ Cx
La frmula es : ( x) (Jx ~Cx)
 ALCANCE DE CUANTIFICADORES

a) Si un cuantificador no va seguido de un b) Si cuantificador va delante de

signo de agrupacin su alcance llega
hasta la variable correspondiente a la
signos de agrupacin su alcance
primera letra de predicado a su derecha: se extiende a toda la expresin
EJEMPLOS: encerrada dentro de ella.

(x) Fx EJEMPLOS:
( x) Fx Gx

EN AMBOS CASOS EL ALCANCE SOLO

(x) ( Fx Gx)
LLEGA a Fx ( X) [( Fx V G x) Hx ]
Fuente: UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS: Lgica de Predicados:
https://www.google.com.pe/search?q=LOGIC+A+DE+PREDFICADOS+UNMSM&oq=LOGIC+A+DE+PREDFICADOS+UNMS
 EQUIVALENCIAS PREDICADOS COMPLEJOS

a)(x) (Fx Gx) ~ (x) ( Fx ~ Gx)

b)( x) ( Fx ~ Gx) ~ ( x) ( Fx Gx)
c)(x) (Fx Gx) ~ ( x) ( Fx ~ Gx)
d)( x) ( Fx ~ Gx) ~ ( x>) ( Fx Gx)
 EJERCICIOS

I.- Simbolice y clasifique las siguientes II.- Determine cul de las siguientes
proposiciones predicativas: frmulas representan proposiciones y
1.- Scrates es ateniense cules funciones proposicionales:
2.- Todos los nios son inocentes
3.- Ciertos polticos son demcratas
4.- Ningn filosofo es escptico 1.- Fx
5.- Algunas justificaciones no son vlidas 2.- ( x) Fx
6.- Descartes fue un brillante matemtico y un
filsofo profundo 3.- Fx Gx
7.- Si ngel estudia, obtendr su ttulo 4.- Fa ( x) Fx
8.- ngel obtendr su ttulo si y solo si estudia 5.- ( x) Fx Ga
9.- Pablo lleg temprano a clase
10.- Algunos estudiantes son atentos
 EJERCICIOS

III.- Transformar las siguientes funciones

proposicionales en proposiciones ligando
las variables libres:
1.- Fx
2.- Fx Gx
3.- Fx V Gx
4.- (Fx Gx) Hy
5.- ( Fx Gx) V (Hy Fx)

Fuente: REA RAVELO, B: Introduccin a la lgica. Editorial Mantaro:

2003.200 p.p.
 CUESTIONARIO:
1.- De qu se ocupa la lgica de predicados ?
2.- Qu clase de trminos distingue la lgica
de predicados ?
3.- Teniendo en cuenta la cantidad del sujeto
Cmo se clasifican las proposiciones que
conforman las inferencias estudiadas por la
lgica de predicados?
4.- Cules son los smbolos usados en la
lgica de predicados? . Refirase brevemente a
cada uno de ellos
5.- Cmo se simboliza una proposicin
predicativa? Ponga ejemplos
6.- Cuantas maneras de transformar un
proposicin funcional en proposicin existen
y en que consiste cada una de ellas?
7.- Cual es la expresin simblica de las
proposiciones una vez cuantificadas?
8.- En que consiste las cuatro leyes de
intercambio de cuantificadores?
9.- Simbolice el cuadro de oposicin de Boecio
10.- Cuantas clases de variables existen?