INTRODUÇÃO À LÓGICA SIMBÓLICA