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 3: Sentences and Truth

Help with Tutorial 3, if you need it

Topic
semantics
propositional
Logical System
bergmann

8/29/06

Tutorial 3 The Main Connective Applet

Your browser does not support html5 video.

Tutorial 3 The Propositional Truth Applet

Your browser does not support html5 video.

Tutorial 3 The Truth Table Applet

Your browser does not support html5 video.

 

 

Book traversal links for Help with Tutorial 3, if you need it

  • ‹ Supplementary: The Paradoxes of Material Implication
  • Up
  • Tutorial 4: Arguments and searching for a counter example ›
  • 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
      • Supplementary: The Paradoxes of Material Implication
      • Help with Tutorial 3, if you need it
    • 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
    • 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