Formal logic is a system of reasoning that uses structured and symbolic representation to deduce the validity of arguments. It provides a framework for distinguishing between valid and invalid reasoning through rules and principles that are universally applicable across different contexts.