+**Inference Rules** are the logical blueprints for deriving new truths, acting as a crucial step in [Deduction](/wiki/deduction). They define valid pathways from a [Premise](/wiki/premise) to a conclusion, preserving truth within a formal system.
+## See also
+- [Logic](/wiki/logic)
+- [Proof](/wiki/proof)
+- [Axiom](/wiki/axiom)
... 1 more lines