This book is a compilation of lecture notes that the author has employed in introductory Logic classes. It presents the subject as a language—a medium for representing and communicating about the world. The development of argumentation within the framework of Classical Logic follows an introduction to its vocabulary, syntax, and semantics. The truth-tree method is the chosen proof technique, favored for its visual clarity and versatility. Important meta-theoretical results, such as soundness, consistency, and completeness of the introduced language, are discussed informally. Additionally, the book highlights various extensions of this language, the challenges it encounters, and provides a historical overview of its evolution. Exercises and resources for further self-study are also included.
