Abstract

The book contains an introduction to basic logical concepts and methods. It covers traditional logic of categorical judgment and syllogism, modern propositional logic, and introductory elements of predicate logic with corresponding methods (truth tables, natural deduction, truth trees).