525
edits
Changes
Assinatura de primeira ordem (view source)
Revision as of 13:25, 6 October 2020
, 13:25, 6 October 2020no edit summary
* Caso ''homogêneo'' (um único gênero de objetosindivíduos)<!--
--><p>{{#ev:youtube|kQAkqVJplI4}}</p>
* [[Termos de primeira ordem]]
* [[Fórmulas de primeira ordem]]
* [[Sintaxe da lógica de primeira ordem]]* [[Semântica formal para a lógica de primeira ordem]]* [[Introdução Computacional à Lógica de Primeira OrdemMatemática]]
== Links externos ==
* [https://pt.wikipedia.org/wiki/Assinatura_%28l%C3%B3gica%29 Assinatura (lógica)]