Sintaxe da lógica de primeira ordem
Revision as of 12:50, 6 October 2020 by Jmarcos (talk | contribs) (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 == * ==...")