Changes

Assinatura de primeira ordem (view source)

10 bytes removed , 11:20, 28 September 2020

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)]

525

edits