Formal Logic is the systematic study of valid Reasoning and inference, often expressed through symbolic systems. It investigates how conclusions follow from Premises, providing a precise framework for thought and computation. See also Symbolic Logic Proof Theory Predicate Logic