Changes

Assinatura de primeira ordem (view source)

67 bytes added , 11:19, 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