This book explores the logical analysis of propositions, syntax, semantics, deduction, and logical operations. It covers tautology, contradiction, contingency classification, formalization, proof theory, and methods of inference