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

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