The aim of this course together with the courses Logic 1A and P0 Discrete Mathematics (which together are equivalent to the course P1 Discrete Mathematics 1 of the old degree requirements) is to give students the necessary knowledge to be able to take the courses on logic in the intermediate studies of mathematics.