Principal

Este minicurso está vinculado ao Projeto de Extensão PAEM (aguardando portaria de renovação) e versa sobre o uso de lógica proposicional para concursos públicos tendo como objetivo fornecer aos participantes uma compreensão completa da lógica proposicional e como ela é aplicada em questões de concursos públicos. No primeiro módulo, serão abordados os conceitos básicos da lógica proposicional, incluindo a definição de proposição, conectivos lógicos (como "e", "ou", "não", "se, então" e “se, e somente se”), tabela verdade e equivalência lógica. Serão apresentados exemplos de questões de concursos públicos que utilizam a lógica proposicional, para que os participantes possam se familiarizar com a aplicação prática da teoria.

No segundo módulo, os participantes aprenderão sobre as leis de De Morgan e como utilizá-las para resolver questões de concursos públicos. Serão abordados exemplos de questões mais complexas, incluindo problemas que envolvem múltiplas proposições e conectivos lógicos. Ao longo do curso, serão apresentados exercícios práticos para os participantes resolverem, a fim de consolidar seu aprendizado e desenvolver habilidades na resolução de questões de concursos públicos que envolvem lógica proposicional. Ao final do curso, espera-se que os participantes tenham adquirido uma sólida compreensão dos conceitos de lógica proposicional e como aplicá-los em questões de concursos públicos, aumentando assim suas chances de sucesso em provas e seleções públicas.