Changes

Definição recursiva da linguagem proposicional (view source)

Revision as of 16:15, 22 August 2020

99 bytes added , 16:15, 22 August 2020

m

no edit summary

* [[Sintaxe da Lógica Proposicional]]

* [[Conjunto indutivamente definido]]

* [[Álgebra absolutamente livre]]

* [[Álgebra dos termos]]

== Links externos ==

*

525

edits

Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/880"