Inference Rules are the logical blueprints for deriving new truths, acting as a crucial step in Deduction. They define valid pathways from a Premise to a conclusion, preserving truth within a formal system. See also Logic Proof Axiom Truth