Study the subject and importance of the logic science, its relationship with language, and the basic principles of formal logic