Last 5 Pages Viewed: Special:MobileDiff/399 » Técnicas Avançadas de Contagem » Formalismos dedutivos » Special:MobileDiff/1224 » Special:MobileDiff/1284

Changes

Jump to navigation Jump to search
m
no edit summary
* [[Fórmulas de primeira ordem]]
* [[Sintaxe da Lógica de Primeira Ordem]]
* [[Semântica formal para a Lógica de Primeira Ordem Clássica]]
== Links externos ==
* [https://pt.wikipedia.org/wiki/Assinatura_%28l%C3%B3gica%29 Assinatura (lógica)]

Navigation menu