teste

Caro aluno, esta apostila é uma breve introdução à lógica. Logo, nela, serão examinados os principais temas introdutórios ao assunto. Usou-se da matemática elementar como um apoio à explanação dos temas de interesse pelo fato de ela ser comum a todos aqueles que já concluíram os estudos básicos.
A lógica é muito importante e aplicada em diversos ramos do conhecimento, pois se trata de uma forma de entender o raciocínio humano. Nas ciências exatas, a lógica encontrou maior alcance principalmente nos temas relacionados à computação. Todo o desenvolvimento de software é baseado em lógica, assim como o roteamento de dados na internet, que usa livremente os conceitos de lógica.
Não está nos objetivos do livro o estudo da lógica do ponto de vista filosófico, ou de argumentação lógica, mas a apresentação dos principais fundamentos da lógica clássica necessários aos estudantes de computação e áreas correlatas.
A lógica é um tema bastante abrangente e este livro-texto pretende servir como um primeiro degrau para aqueles que desejam se aprofundar no assunto.
A distribuição dos temas objetivou ser a mais direta possível. Por isso, optou-se pela introdução dos conceitos de proposição, seguidos pelos de conectivos, que possibilitam criar proposições mais complexas.
A seguir, explicam-se as tabelas-verdade, pois é o método mais simples de se verificar a veracidade de uma proposição. São também estudados os métodos dedutivos1 (por serem estes os utilizados na lógica matemática), que fortalecem a capacidade de abstração e nos dão maior poder para resolver problemas mais complexos. A argumentação é discutida a seguir, sendo examinados os conceitos básicos e algumas ferramentas de validação dos argumentos, as tabelas-verdade e as regras de inferência.
Finaliza-se com um breve embasamento dos subsídios à lógica de predicados, fundamentam-se os conceitos de sentenças abertas, quantificadores e, por fim, o silogismo categórico.
Bons estudos!