Changes

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

89 bytes removed , 22:16, 26 August 2020

m

no edit summary

* Como um conjunto indutivamente definido ~~via [[Has parent page::Sintaxe da Lógica Proposicional]]~~

[VIDEO]

* Como uma álgebra absolutamente livre

*

~~Conjunto indutivamente definido~~

== Veja também ==

525

edits