This book covers logical elements and chains, the use of logical operations, and the basics of Boolean Algebra. It explains predicate logic and relationships between objects using quantifiers (∀ - universal, ∃ - existential) to expand propositional logic. It also discusses the fundamental laws of classical logic and the rules for drawing conclusions in axiom systems