Lógica de predicados: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
m ajustes usando script
Linha 7:
Na lógica de predicados também se incluem lógicas misturando operadores modais e quantificadores. Ver [[lógica modal]], [[Saul Kripke]], fórmulas [[Ruth Barcan Marcus|Barcan Marcus]], [[Arthur_Prior|A. N. Prior]] e [[Nicholas Rescher]].
 
== A Parcilene é ótima para ensinar ==
== Sintaxe ==
Símbolos de cálculos de predicados podem representar tanto variáveis, constantes, funções ou predicados.