This course covers the general logical description of summary extraction, including the concept of summary and its logical essence, deductive summary, and the relationship between premises and conclusions