Fundamentos de L´ ogica Matem´ atica Webconferˆ encia 6 - 29/03/2012 Introdu¸ c˜ ao ` a L´ ogica de Predicados Prof. Alexandre L. M. Levada http://www.dc.ufscar.br/˜alexandre Departamento de Computa¸c˜ ao (DC) Universidade Federal de S˜ ao Carlos (UFSCar) 2012/1