Basic Derivation Rules for Modal Logic

Chapter 5: Derivations in Sentential Logic 151 2. THE BASIC IDEA Underlying the method of formal derivations is the following fundamental idea. Granting the validity of a few selected argument forms, we can demonstrate the validity of other argument forms. A simple illustration of this procedure might be useful. In an earlier chapter, ................
................