To familiarize students with the fundamentals of deductive logic.