Open main menu
Logic Wiki
Search
Changes
← Older edit
Newer edit →
Dedução Natural
(view source)
Revision as of 02:46, 18 September 2020
20 bytes added
,
02:46, 18 September 2020
m
acrescentando video
--><p>{{#ev:youtube|2KzJ3hB9a-Q}}</p>
* Uso de '''lemas'''<!--
--><p>
[VIDEO]
{{#ev:youtube|9BdeXjhyJWs}}
</p>
* Da ''derivabilidade das regras estruturais'' na notação DN<sup>Tree</sup><!--
--><p>[VIDEO]</p>
Jmarcos
Administrators
525
edits