Logic
Hi
I understand how to apply derivation rules like the rules of inference etc. My question is do we have a method of proving the rules themselves? Is there a way to prove that If P then Q; P; therefore Q? Or do we accept these rules out of intuition?
Accepted:April 20, 2011
Accepted:
April 20, 2011