|
Abstract:
|
O presente Trabalho de Conclusão de Curso em seu primeiro capítulo identifica a origem histórica do assunto em questão, tratando do desenvolvimento da Lógica desde a antiguidade aos tempos modernos. No segundo capítulo apresenta os tópicos de lógicas básicos ao entendimento desta ferramenta, tais como o simbolismo e o cálculo proposicional. O terceiro capítulo tem como objetivo avaliar a importância presencial dos quantificadores em teoremas diversos. Reservou-se o quarto capítulo para a verificação do conhecimento deste assunto em alguns pré-vestibulandos, visto que, teoricamente, são os alunos com maior conhecimento geral em Matemática, tornando-os uma boa amostra experimental já que o assunto tratado neste trabalho não é exposto em uma série específica, aparecendo geralmente, ao escrever definições ou teoremas em Álgebra, Geometria, entre outros tópicos ministrados em ensino fundamental e médio. |
