Changes

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

36 bytes added , 21:57, 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'')<!--

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

525

edits