This course note pretends to serve as pedagogical support to the developent of the contents for the Logic II course. Particularly, the note have the purpose to accompany the student in the identification of the validity of the arguments through symbolization of terms. To do this, besides the theorical explanations, it takes into account a catalogue of exercises to evaluete the progress of the students in the course themes. Additionally, there are some questions that are proposed in the the contemporary philosophy and the philosophy of logic about some concepts of the symbolic logic.
