Changes

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

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