Lgica Cuantificacional

Limitacin de la lgica
proposicional
Muchos argumentos que son
intuitivamente son vlidos, no lo son
en la lgica proposicional.
Ejemplo:
Todos los filsofos son excntricos.
Scrates es filsofo. Por tanto,
Scrates es excntrico.
Este argumento es invlido en la
lgica proposicional, pero
intuitivamente es vlido.

Lgica de predicados
Nombre:
Ejemplos: Scrates, Mercurio,
Per
Predicados:
Ejemplos: . fue el maestro de
Platn, es el planeta ms
pequeo del Sistema Solar, es
un pas de Sudamrica.

Componentes de la Lgica
Cuantificacional
Constante individual: Ejemplos;
s= Scrates, m= Mercurio, p= Per.
Oracin Singular:
Scrates es excntrico
Variable individual: x,y,z. Depende a que
tipo de dominio se refiere el predicado.
Letra Predicativa:
R = es rojo.
P = es peruano

Simbolizando
Los predicados pueden entenderse :
es rojo x es rojo
Rx
es peruano
x es peruano Px
Para simbolizar necesitamos un
lxico:
m= manzana Rx= x es rojo.
La oracin ms simple es la
composicin de una letra predicativa
y un nombre.
Rm = La manzana es roja.