+Formal Logic is the systematic study of valid [Reasoning](/wiki/reasoning) and inference, often expressed through symbolic systems. It investigates how conclusions follow from [Premises](/wiki/premises), providing a precise framework for thought and computation.
+## See also
+- [Symbolic Logic](/wiki/symbolic_logic)
+- [Proof Theory](/wiki/proof_theory)
+- [Predicate Logic](/wiki/predicate_logic)