Noções introdutórias de lógica. Lógica proposicional clássica: sintaxe e semântica. Noções de metalógica. Noções de lógicas proposicionais não clássicas. Familiarizar o estudante com noções fundamentais acerca de argumentação e da noção de validade de argumentos. Propiciar à/ao estudante conhecimento da linguagem básica da lógica proposicional clássica, bem como das definições semântica e sintática de consequência lógica. Fornecer ao estudante ferramentas para reconhecer argumentos válidos do ponto de vista da lógica clássica. Atividades práticas de ensino, pesquisa e extensão em lógica.
- Professor: Jonas Rafael Becker Arenhart