Open main menu

Changes

6 bytes added ,  19:24, 23 August 2020
m
no edit summary
* Elementos constitutivos das árvores de derivaçãoem DN
[VIDEO]
* [[DN para Lógica Clássica Proposicional]]