A Deductive System for Sentential Logic

BlueStorm: The Logic Course



We will here introduce a full deductive system for sentential (propositional) logic. If you are just starting we suggest that you approach the deductive system in the following way. First read the relevant section of the manual or the text. Then work through the tutorial covering the material you have read. Next work through the exercises covering that very same material. Those of you who wish to work on exercises of your own may go directly to the proof-builder.

Whenever you are using the builder you have access to a discussion of tactics to be used. These should enable you, though not necessarily very efficiently, to complete any derivation. You may also go to tactics by:


Go Directly to the Proof-Builder (opens new window)

All links below under exercises (except reviews) open a new window. Please close the window if finished.

Manual

Tutorial

Exercises

Introduction Tutorial Introduction  
Working with Conjunctions Tutorial on Conjunctions Exercises on Conjunctions
Working with Conditionals Tutorial on Conditionals Exercises on Conditionals
Working with Disjunctions Tutorial on Disjunctions Exercises on Disjunctions
Working with Biconditionals Tutorial on Biconditionals Exercises on Biconditionals
Working with Double Negations Tutorial on Double Negations Exercises on Double Negations
    Review of Basic System
Introduction to Assumptions Introductory Tutorial on Assumptions  
Working with Assumptions: Conditional Introduction Tutorial on Conditional Introduction Exercises on Conditional Introduction
Working with Assumptions: Negation Introduction and Elimination Tutorial on Negation Introduction and Elimination Exercises on Negation Introduction and Elimination
Multiple Assumptions Tutorial on Multiple Assumptions Exercises on Multiple Assumptions
Theorems and Logical Equivalences Tutorial on Theorems and Logical Equivalences Easy Exercises on Theorems and Logical Equivalences
Harder Exercises on Theorems and Logical Equivalences
Complete Manual   Review of Full System