111
edits
Changes
Jump to navigation
Jump to search
Definição recursiva da linguagem proposicional (view source)
Revision as of 20:43, 15 October 2020
, 20:43, 15 October 2020→Links externos
== Veja também ==
* [[Sintaxe da Lógica Proposicionallógica proposicional]]
* [[Conjunto indutivamente definido]]
* [[Álgebra absolutamente livre]]
* [[Álgebra dos termos]]
* [[Introdução Computacional à Lógica Matemática]]
== Links externos ==
*[http://pt.wikipedia.org/wiki/Assinatura_%28l%C3%B3gica%29 Assinatura (lógica)]* [http://pt.wikipedia.org/wiki/F%C3%B3rmula_%28l%C3%B3gica%29 Fórmula (lógica)]* [http://pt.wikipedia.org/wiki/Indu%C3%A7%C3%A3o_estrutural Indução estrutural]
