LGICA DE PREDICADOS

Prof: Mg Jos Cuevas Pea

 LGICA PREDICATIVA
Concepto
La lgica predicativa, llamada tambin
lgica de predicados o lgica de
proposiciones analizadas, es una parte de
la lgica que estudia la estructura interna
de las proposiciones, es decir las
relaciones que podemos encontrar entre
el sujeto y el predicado de la proposicin.
Para ello se utiliza los diagramas de Venn-
Euler, el lgebra Boole y otros
procedimientos decisorios.
 Notacin Simblica
A diferencia de Lgica Proposicional, en este sistema se emplean ms
smbolos, las mismas que
I) VARIABLES:
a) Predicativas: Representa a conjuntos o clases, para ello se usan las letras
maysculas del alfabeto latino a partir de F, G, H, o la letra inicial
mayscula del predicado en uso.

b) Individuales: Representa a elementos o sujetos plenamente identificados

y se usa las letras minsculas del alfabeto latino a partir de a, b, c,.....
Ejemplo: Mario Pimentel es un profesor
Fa o Pa
c) Variables Indeterminadas: Representa a elementos o sujetos
desconocidos, no identificados, se usa las letras minsculas x, y, z,....
Ejemplo: Fulano y Mengano son mis amigos.
Fxy o Axy

Si Aristteles fue filsofo, Arqumedes fue matemtico

Fa Mb
II) CUANTIFICADORES:
a) Universal: Se refiere a todos y simblicamente se representa: (x)
(+) Todo ; (-) Ninguno
b) Existencial: Se refiere a algunos y simblicamente se representa: (x)
(+) Algunos ; (-) Algunos no
Nota:
Cuando el cuantificador es
universal y afecta a dos
variables predicativas el
III) SMBOLOS DE LGICA PROPOSICIONAL termino de enlace se
Adems de los smbolos anteriores se usan los representa con una
smbolos empleados en Lgica proposicional. Es condicional.
decir:
Cuando el cuantificador
existencial afecta a dos
a) Variables proposicionales : p, q, r, s.......z variables predicativas el
trmino de enlace ser una
b) Operadores : conjuncin
Mondico: ~ ,
Didicos: , , , , ,

c) Smbolos de agrupacin ( ) , [ ] , { }
IV) Reglas de Formacin:

1. Cada variable proposicional por s misma es una FBF.

2. Si F es un predicado, F,G,H son FBFs.

3. Si A es una FBF., ~ ( A ) es una FBF.

4. Si A y B son FBFs., ( A B ), ( A v B ), ( A B ), ( A B )
( AB ), ( A B ), son FBFs.

5. Si A es una FBF. Entonces (x ) A y ( x )A son FBFs.

6. Ninguna otra frmula es una FBF, en L.C.

 EJERCICIOS
reconocimiento de frmulas bien formadas , Indique cul de las
siguientes frmulas estn bien formadas y cules no.
V) Alcance de los Cuantificadores
Los cuantificadores son operadores mondicos y como tales, operan
en un solo sentido: Hacia la derecha, es decir su efecto es exactamente
como el de la negacin.

El signo que sigue inmediatamente al cuantificador esta bajo el

dominio de ste, es decir, bajo el alcance del cuantificador. Ejemplo:
 EJERCICIOS
En las siguientes frmulas seale con una lnea el alcance de los
cuantificadores:
VI) VARIABLES LIBRES Y LIGADAS
Variables Libres.- Son aquellas variables que no estn bajo el alcance
de algn cuantificador.
Variables Ligadas.- Son aquellas variables que estn afectados por
algn cuantificador.

En las siguientes frmulas seale con un crculo la (s) variable(s)

libre(s).
 EJERCICIOS
Formalice las siguientes proposiciones:
1) Todos son alumnos
2) Ninguno es deportista
3) Algunos son contadores
4) Algunos no son abogados
5) Todos los abogados son inteligentes
6) Ningn hombre es mentiroso
7) Algunos peces son grandes
8) Algunos vegetales no son comestibles
9) Los caballos son fuertes y veloces
10) Platn y Scrates fueron filsofos y amigos
11) Si Platn fue filsofo , Thales fue matemtico
12) Todos los gatos son felinos
13) Javier Valle Riestra es abogado y Richard Web es economista
14) Scrates es un filsofo, sin embargo no es un deportista
15) Scrates es un filsofo o Scrates es un deportista
16) La luna es de papel si y slo si Carlos lee muchos Libros
17) Todo nmero primo y mayor que 2 es impar
18) Todo hombre es mortal y hay hombres que no son filsofos
19) Todos son religiosos y polticos
20) Nadie es musulmn y catlico
21) No es el caso que algunos sean catlicos si son musulmanes
22) Algunos no son liberales si son socialistas
23) Nadie es liberal si es socialista