Fórmulas de primeira ordem

Caso homogêneo

Caso heterogêneo
[AGUARDE!]

Para reflexão

Como tirar proveito da estrutura interna das fórmulas atômicas?

Veja também

Links externos

Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php?title=Fórmulas_de_primeira_ordem&oldid=1397"