A validity-maintaining procedure for deriving sentences in logic from other sentences is

• A. Proof
• B. Theorem
• C. Inference rule
• D. inference chain