Introdução à lógica – Cezar A. Mortari