Changes

Formalismos dedutivos (view source)

27 bytes removed , 19:15, 23 August 2020

m

no edit summary

* Estilos~~: axiomático, dedução natural, cálculo de sequentes, etc~~

[VIDEO]

** [[Dedução Natural]]** [[Cálculo de Sequentes]]** [[Tableaux]]** [[Método da Resolução]]

== Para reflexão ==

525

edits