A parte sobre aplicação da lógica em testes de raciocínio eu passei para o submódulo "aplicações da lógica", pois me pareceu mais coerente esta forma. --Dante 18h41min de 29 de Dezembro de 2007 (UTC)
O histórico anterior da página foi arquivado para fins de backup em Discussão:Lógica/Introdução/Arquivo LQT 1 em 2015-11-03.