Lógicas dos Predicados
Sintaxe do Cálculo de Predicados
<fórmula>::= <fórmula-atômica> | <fórmula-complexa>
<fórmula-atômica>::= <predicado>(<termo,...)
| <termo>=<termo>
<termo>::=<função>(<termo>,...) | <constante>
| <variável>
<fórmula-complexa>::= (<fórmula>)
| <fórmula> <conectivo> <fórmula >
| ? <fórmula>
| <quantificador><variavél>... <fórmula>
<conectivo>::= ? | ? | ? | ?
<quantificador>::= ? | ?
<constante>::=A | X1 | João | ...
<variável>::= x | y | z | ...
<predicado>::= Antes | Irmão | Cor | Mortal | ...
<função>::= Mãede | PernaEsquerda | ...