LogicTester

Inicialmente, objetivando – se obter uma maior compreensão acerca do tema tratado, é necessário discorrer um pouco sobre a evolução da matematização da lógica bem como da logificação da matemática. Com o intuito de simbolizar matematicamente a lógica, G. Boole e G. Frege inventaram formas de transcrição e compreensão de questões lógicas para o campo matemático, se remetendo, respectivamente, para a ideia de matematização da lógica e para a ideia de logificação (da matemática). Estes dois autores têm profundas repercussões no modo contemporâneo de refletir sobre a natureza formal da lógica e concluem apontando as diferenças de posições em que um booleano e um frege ano se encontram relativamente à noção de validade, bem como a dificuldade – para um frege ano – de formular a questão filosófica sobre a prioridade de uma noção semântica ou de uma noção sintática de validade tal como estas noções se apresentam no âmbito da metalógica. Como resultado de tal evolução, surgiu o CPC (Cálculo Proposicional Clássico) que pode ser definido como um sistema simbólico da lógica clássica. Este possui como base o uso de proposições (representadas por letras minúsculas) e pelo uso de conectivos.

Esses conceitos formam a base do aplicativo que nos propusemos a realizar, para tanto aplicando as diversas regras oriundas de tais conceitos.

O aplicativo por nos confeccionado, apesar de conter conceitos complexos para o entendimento do público em geral, foi elaborado de tal forma que sua interface possibilite ao usuário se beneficiar dessa ferramenta e, simultaneamente exercitar-se na aplicação de tais conceitos.

Obtém –se, portanto, uma ferramenta útil por seu aspecto funcional, uma vez que possibilita a correção e verificação dos exercícios, sendo essa sua função primordial e que também contém em si uma função didática, haja vista que fornece ao usuário a oportunidade de rever, exercitar e assimilar os conhecimentos teóricos contidos na elaboração desse aplicativo