Hi

Hi

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?

Read another response by William Rapaport
Read another response about Logic
Print