Skip to main content

Navigation Icons in the header

Home Contact Sitemap Search
SoftOption ®

Breadcrumb

  1. Home
  2. Easy Deriver [Sentential and Predicate Logic—Bergmann Syntax]
  3. Sentential Logic: 10 Tutorials
  4. Tutorial 8: Reductio ad Absurdum

Further help with Reductio

Topic
derivations
propositional
Logical System
bergmann

Example of a difficult derivation

6/1/09


Book traversal links for Further help with Reductio

  • ‹ Help with Reductio ad Absurdum
  • Up
  • Tutorial 9: The Remaining Sentential Rules of Inference ›
  • Sentential Logic: 10 Tutorials
    • Tutorial 1 Introduction, sketch of course, and symbolizing atomic sentences.
    • Tutorial 2: Symbolizing compound sentences
    • Review
    • Tutorial 3: Sentences and Truth
    • Tutorial 4: Arguments and searching for a counter example
    • Review 2
    • Tutorial 5: Valid arguments, searching for a proof
    • Tutorial 6: What is a derivation and what does it prove? How experts do derivations.
    • Tutorial 7: Conditional Proof
    • Tutorial 8: Reductio ad Absurdum
      • Help with Reductio ad Absurdum
      • Further help with Reductio
    • Tutorial 9: The Remaining Sentential Rules of Inference
    • Tutorial 10: Common Inference Patterns and Rewrite Rules
    • Review of Sentential Logic
    • Sentential Logic: Try your own derivations
  • Predicate Logic: 15 Tutorials

Navigation

Show — Navigation Hide — Navigation
  • Browse
  • Search
  • Site map
Copyright SoftOption ® Ltd. (New Zealand). Email: support@SoftOption.Us