This accessible, short introduction to symbolic logic includes coverage of sentential and predicate logic, translations, truth tables, and derivations. Topics are explained in a conversational, easy-to-understand way for readers not familiar with mathematics or formal systems, and the author provides patient, reader-friendly explanations—even with the occasional bit of humour.
