Apresentação
O objetivo deste curso é realizar uma breve introdução à lógica matemática (clássica). Pretende-se inicialmente apresentar os conceitos básicos da lógica proposicional e, em seguida, trabalhar com uma formalização para essa lógica, no intuito de demonstrar os principais resultados metamatemáticos sobre essa teoria formal (corretude, consistência, adequação e decidibilidade).