Símbolos da Linguagem

Para que possamos tornar a estrutura de sentenças complexas mais

transparente é necessário a introdução de novos símbolos na linguagem do
Cálculo Proposicional, obtendo-se a linguagem do Cálculo de Predicados de
1a Ordem.
Nesta nova linguagem teremos, além dos conectivos do cálculo
proposicional e os parênteses, os seguintes novos símbolos:

variáveis: x,y,z,.....,x ,y ,z ,......

constantes : a,b,c,....,a ,b ,c ,......
símbolos de predicados: P , Q , R , S ,....
quantificadores :  (universal) ,  (existencial)
termos: as variáveis e as constantes são designadas pelo nome genérico de
termos os quais serão designados por t1 , t2 , ...,tn ...

as variáveis representam objetos que não estão identificados no Universo

considerado ("alguém", "algo", etc.);
as constantes representam objetos identificados do Universo ("João", "o ponto
A", etc. );
os símbolos de predicados representam propriedades ou relações entre os
objetos do Universo.

Símbolos da Linguagem

Para que possamos tornar a estrutura de sentenças complexas mais

transparente é necessário a introdução de novos símbolos na linguagem do
Cálculo Proposicional, obtendo-se a linguagem do Cálculo de Predicados de
1a Ordem.
Nesta nova linguagem teremos, além dos conectivos do cálculo
proposicional e os parênteses, os seguintes novos símbolos:

variáveis: x,y,z,.....,x ,y ,z ,......

constantes : a,b,c,....,a ,b ,c ,......
símbolos de predicados: P , Q , R , S ,....
quantificadores :  (universal) ,  (existencial)
termos: as variáveis e as constantes são designadas pelo nome genérico de
termos os quais serão designados por t1 , t2 , ...,tn ...

as variáveis representam objetos que não estão identificados no Universo

considerado ("alguém", "algo", etc.);
as constantes representam objetos identificados do Universo ("João", "o ponto
A", etc. );
os símbolos de predicados representam propriedades ou relações entre os
objetos do Universo.