Home / Report Question

Q. A validity-maintaining procedure for deriving sentences in logic from other sentences is
  • A. Proof
  • B. Theorem
  • C. Inference rule
  • D. inference chain