Gerhard Gentzen e Stanislaw Jakowski elaboraram sistemas dedutivos independentes a fim de facilitar a dedução de argumentos complexos, cuja dedução...

Gerhard Gentzen e Stanislaw Jakowski elaboraram sistemas dedutivos independentes a fim de facilitar a dedução de argumentos complexos, cuja dedução exige muitos passos. Se para verificar a validade e o valor de verdade das proposições que compõem esse tipo de argumentos usássemos tabelas de verdade nos colocaria diante de uma tabela com inúmeras linhas, o que dificultaria muito sua análise, além de torná-la mais demorada. Esse método ficou conhecido como: