Lógica proposicional. Lógica sentencial e de primeira ordem. Sistemas dedutivos e axiomáticos. Completeza, consistência e coerência. Formalização de problemas. Notação. Prova de Teoremas. Resolução e refutação. Noções de Programação em lógica.