Rules of derivation

Redirect to:

  • Rule of inference