Isabel Cristina Siqueira da Silva,  Simone C. Mendes Paiva. 

This article depicts the ´ProLógica´ software, designed to support teaching of Logics in Computer Sciences graduation courses. The system allows the student to perform logical demonstrations using Natural Deduction basic laws - hypothetical and non-hypothetical. The main purpose is the student to employ his theoretical knowledge to develop logic reasoning with the software, which doesn’t require previous knowledge of any specific language to be used. Este artigo apresenta o ambiente ProLógica que tem por finalidade apoiar o ensino de Lógica para Computação. O ambiente permite que o usuário realize demonstrações utilizando regras básicas – hipotéticas e não hipotéticas - de Dedução Natural. Pretende-se que o aluno utilize seus conhecimentos teóricos sobre o assunto para desenvolver o raciocínio lógico através da utilização do ambiente, considerando que este não exige conhecimento prévio de uma linguagem específica para ser utilizado.

http://www.lbd.dcc.ufmg.br/colecoes/weirjes/2004/010.pdf

Processando consulta.