525
edits
Changes
Definição recursiva da linguagem proposicional (view source)
Revision as of 22:16, 26 August 2020
, 22:16, 26 August 2020no edit summary
* Como um conjunto indutivamente definido via [[Has parent page::Sintaxe da Lógica Proposicional]]
[VIDEO]
* Como uma álgebra absolutamente livre
*
== Veja também ==