Changes

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

23 bytes added , 21:58, 3 September 2020

m

no edit summary

* Como um ''conjunto indutivamente definido''<!--

--><p>[VIDEO]</p>

* Como uma ''álgebra absolutamente livre'' (e também como ''objeto inicial''da categoria associada)<!--

--><p>[VIDEO]</p>

525

edits