Lógica Cuantificacional

 Lógica Cuantificacional:

Profesora: Elia Acuña Silva

 LA LÓGICA DE PREDICADOS DE
PRIMER ORDEN MONÁDICO (L C)
 EL sistema de notación consta de:

Profesora: Elia Acuña Silva

 LA LÓGICA DE PREDICADOS DE
PRIMER ORDEN MONÁDICO (L C)
 Denominada también lógica de las
proposiciones analizadas, trata de la
estructura lógica interna de las
proposiciones, esto es, la relación entre
el sujeto y el predicado.
 LP forma parte de LC.
 Su objetivo es el análisis formal de los
razonamientos para determinar si son
válidos o no.

Profesora: Elia Acuña Silva

 SINTAXIS DE LC
SÍMBOLOS PRIMITIVOS
 1. Constantes individuales: a, b, c,...
 2. Variables individuales: x, y, z,...
 3. Símbolos predicativos: F, G, H,...
 4. Cuantificadores: (...) (universal) y
(...) (existencial)
 5. El lenguaje de LP también es válido
en este sistema.

Profesora: Elia Acuña Silva

 SINTAXIS DE LC
METAVARIABLES
 Para cualquier fbf = A, B, C,...

 Para predicados = , , , , ,...

 Para individuos en general = 

 Para variables individuales = 

 Para constantes individuales = 

Profesora: Elia Acuña Silva

 OBSERVACIONES:
TIPOS DE INDIVIDUOS
 DEFINIDOS: Seres identificables, todo lo

que tiene nombre (propio), se

representan mediante las constantes
individuales.
 INDEFINIDOS: Seres no determinados,

todo lo que se refiere indistintamente a

elementos del universo, se representan
con las variables individuales.

Profesora: Elia Acuña Silva

 OBSERVACIONES:
TIPOS DE CUANTIFICADORES
EXISTENCIAL: Al usarlo estamos
afirmando la existencia de algo. En este
sentido se dice que el
cuantificador particular tiene
implicaciones ontológicas.
UNIVERSAL: Al emplearlo estamos
expresando un enunciado de carácter
hipotético. El uso del cuantificador
universal no implica alguna existencia,
pero presupone esa existencia.

Profesora: Elia Acuña Silva

 SINTAXIS DE LC
REGLAS DE FORMACIÓN:
1. Cada variable proposicional por sí misma es
una fbf.
2. Todo predicado seguido de variable o
constante es una fbf. Es decir, toda
expresión del tipo  es una fbf.
3. Si A es una fbf, entonces ~(A) es una fbf.
4. Si A y B son fbfs, (A  B), (A  B), (A  B) y
(A  B) son fbfs.
5. Si A es una fbf, entonces ()A y ()A son
fbfs.
6. Ninguna otra expresión es una fbf en LC.
Profesora: Elia Acuña Silva
 SINTAXIS DE LC
ESQUEMAS DE FÓRMULAS

A ( ) A ( )  
• p • xp x Fa  Hx
• z Fx Hy • y(Fx  Gx) y Fy  Hy
• yFx  p • y  Gx z Gx  Jz

( )(  ) ( )   A

• x (Fa  Hx) • y Ta   p
• y (Fy  Hy) • z Nb   Mx
• z (Gx  Jz) • X Fc   Ma

Profesora: Elia Acuña Silva

 Alcance de los cuantificadores
 Los cuantificadores son operadores monádicos, es
decir, operan en un sólo sentido: afectan al signo que
se encuentra a su derecha inmediata.
 Las fórmulas que están bajo el dominio de un
cuantificador se denominarán “OPERANDOS DEL
CUANTIFICADOR”.
 Ejemplos:
 x (Fa  Hx)
 x Fa  Hx
  y Fx   p  .. z Fx  Hz
 y y (Fx  Hy) .. z  Mx
Profesora: Elia Acuña Silva