The Rudiments of Formal Logic: With Trees and Natural Deduction explores the formal structure of arguments in both sentential and first order predicate logic. Formal logic is the science of making valid inferences.  As such, this book covers a variety of ways to demonstrate the validity of argument forms with emphasis given to truth trees and natural deduction. 

The Rudiments of Formal Logic emphasizes and develops key concepts in formal logic such that it strikes a balance between being appropriate for those who…