Description
This book compiles the author’s lecture notes from introductory Logic classes, presenting the subject as a language for world representation and communication. It introduces Classical Logic’s vocabulary, syntax, and semantics, employing the truth-tree method for its visual clarity. Informal discussions cover essential meta-theoretical results like soundness and consistency, while exploring language extensions, challenges, and historical evolution. Additionally, it includes exercises and resources for self-study.
