Changes

Formalismos dedutivos (view source)

42 bytes removed , 13:04, 6 October 2020

no edit summary

== Veja também ==

* [[~~Dedução Natural]]~~* [[Cálculo de Sequentes]]* [[Tableaux]]* [[Método da ResoluçãoSistemas dedutivos para a lógica proposicional]]

* [[Introdução Computacional à Lógica Matemática]]

525

edits