Transcription of DERIVATIONS IN SENTENTIAL LOGIC - UMass
{{id}} {{{paragraph}}}
DERIVATIONS IN SENTENTIAL LOGIC 1. 2. The Basic 3. Argument Forms and Substitution 4. Simple Inference 5. Simple 6. The Official Inference 7. Inference Rules (Initial Set)..155 8. Inference Rules; Official 9. Show-Lines and Show-Rules; Direct 10. Examples of Direct 11. Conditional 12. Indirect Derivation (First Form)..169 13. Indirect Derivation (Second Form)..174 14. Showing Disjunctions Using Indirect 15. Further 16. Showing Conjunctions and 17. The Wedge-Out Strategy ..184 18. The Arrow-Out Strategy ..187 19. Summary of the System Rules for System 20.
argument for an argument form, we substitute one argument form for another argu-ment form, The following is the official definition. Definition: If A is an argument form of sentential logic, then a substitution instance of A is any argument form A* that is obtained from A by substituting formulas for letters in A.
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
{{id}} {{{paragraph}}}