111
edits
Changes
Jump to navigation
Jump to search
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 20:53, 15 October 2020
, 20:53, 15 October 2020→Links externos
== Links externos ==
*[http://pt.wikipedia.org/wiki/L%C3%B3gica_de_primeira_ordem Lógica de Primeira Ordem]* [http://pt.wikipedia.org/wiki/Interpreta%C3%A7%C3%A3o_%28l%C3%B3gica%29 Interpretação (lógica)]* [http://pt.wikipedia.org/wiki/Valora%C3%A7%C3%A3o_%28l%C3%B3gica%29 Valoração (lógica)]
