205
edits
Changes
Definição recursiva da linguagem proposicional (view source)
Revision as of 23:15, 22 August 2020
, 23:15, 22 August 2020no edit summary
* Como um conjunto indutivamente definidovia [[Has parent page::Sintaxe da Lógica Proposicional]]
[VIDEO]
* Como uma álgebra absolutamente livre