A lógica encontra aplicações nas mais diferentes áreas, em especial nas ciências exatas, como matemática e computação, mas ela também faz parte de nosso dia a e com frequência a usamos mesmo inconscientemente. Entretanto, na aplicação cotidiana dessa ideia, ela acaba perdendo, muitas vezes, a relação com seus conceitos clássicos. Tendo isso em vista, esta pesquisa possui duas etapas metodológicas. A primeira delas é essencialmente exploratória e bibliográfica com o objetivo de aprofundar as bases da lógica segundo Aristóteles, um dos principais e primeiros autores que a desenvolveu em suas obras, bem como autores mais recentes. Em sua obra Organon, Aristóteles define as bases da lógica proposicional. Uma proposição é uma frase que segue os princípios de identidade, não-contradição e terceiro excluído. Um silogismo é um argumento formado por duas premissas e uma conclusão, em que tanto as premissas quanto a conclusão são proposições categóricas. Se a veracidade da conclusão decorre diretamente da veracidade das duas premissas, então o argumento é válido. O Antilogismo, por outro lado, é um conjunto de três proposições em que é impossível que todas sejam simultaneamente verdadeiras, o que pode ser obtido ao negar-se a conclusão de um silogismo válido. Dentro desse conjunto, ao tomar a negação da conclusão e qualquer uma das duas premissas se obtém um silogismo válido, no qual a nova conclusão será exatamente a negação da premissa restante. Para avaliar a validade de silogismos pode-se recorrer a diferentes métodos como: diagramas de Venn; álgebra da lógica e tabelas verdades. A segunda etapa metodológica desta pesquisa abrange aplicações da lógica e integração com a linguagem de programação. Até o momento, foi desenvolvida uma página web que, através da linguagem JavaScript, afere as possíveis conclusões resultantes de um dado par de premissas de forma interativa com o usuário. Além disso, foi desenvolvido na linguagem Java um aplicativo para Android de um jogo de lógica e conjuntos que está disponível para download gratuitamente.