Sintaxe da lógica de primeira ordem

From Logic Wiki
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 == * ==...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search