Introdução à Lógica a partir de sua história filosófica: volume 2: de Aristóteles a C++

Abstract

Nosso trabalho consiste em implementar através de rotinas escritas em C++, alguns silogismos aristotélicos apresentados em AAL1, fazendo também uso da classificação medieval conforme apresentado no livro Deductive Logic de St. G. W. J. Stock. Nem todos os capítulos ou exemplos de AAL1 foram contemplados, principalmente porque a certa altura Aristóteles se repete.