|
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
|
Logic Toolbox
|
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
|
This material is provided with the
hope that it may be useful to students
- but WITHOUT ANY WARRANTY - even an
implied warranty of its fitness for
a particular purpose.
|
Getting started:
- Click on one of the three applications on the right.
- When loaded, click 'Help' on the menu bar.
- In the dropdown menu, click 'UserDoc'.
- Step through the examples.
- They will show you how to use each calculator.
- Refer to other help topics as needed.
Following is a partial list of topics covered by each application:
Categorical Proposition
- Component of categorical propositions
- Quantity, quality, and distribution
- Venn diagrams
- Conversion, obversion, and contraposition
- Categrical syllogism
- Standard form, mood and figure
- Venn diagram test
- Zeroform test
- Enthymemes
- Sorites
Propositional Logic
- A drill for the truth functional connectives.
- Truth functions
- Truth Tables for propositions
- Truth tables for arguments
Formal Proofs
- Update: 4/9/13
- Application works on the Chrome browser.
- Rules of Inference
- Rules of Replacement
- Formal proof of validity