Open main menu

Changes

no edit summary
* '''Estilos''' de formalismo dedutivo<!--
--><p>{{#ev:youtube|SouCz7oIRk4}}</p>
* '''Sistemas dedutivos''':: * [[Dedução Natural]]: * [[Cálculo de Sequentes]]: * [[Tableaux]]: * [[Método da Resolução]]
== Para reflexão ==