525
edits
Changes
Definição recursiva da linguagem proposicional (view source)
Revision as of 23:39, 11 September 2020
, 23:39, 11 September 2020adicionando video
* Como um ''conjunto indutivamente definido''<!--
--><p>{{#ev:youtube|hCCVtDR4RVo}}</p>
* Como uma ''álgebra absolutamente livre'' (e também como ''objeto inicial'' da categoria associada)<!--
--><p>[VIDEO]{{#ev:youtube|7-wpBM93SyY}}</p>
== Para reflexão ==