Difference between revisions of "Sintaxe da lógica de primeira ordem"
Jump to navigation
Jump to search
(Created page with "* Assinatura de primeira ordem * Termos de primeira ordem * Fórmulas de primeira ordem * Substituição de variáveis por termos == Para reflexão == * ==...") |
(No difference)
|
