Logic Toolbox

. . . . . . . . . . . . . . . . . . . . .

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.

CATEGORICAL PROPOSITION

PROPOSITIONAL LOGIC

FORMAL PROOFS

Categorical Proposition, Propositional Logic, and Formal Proofs are internet applications: they run in a browser.
As of the date listed below, Categorical Proposition only works on the Firefox browser. Propositional Logic and Formal Proofs works on both the Firefox browser and the Internet Explorer. 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

Only a drill for the truth functional connectives as of this version.
Future version: Truth functions
Future version: Truth Tables for propositions
Future version: Truth tables for arguments

Formal Proofs

Rules of Inference
Rules of Replacement
Formal proof of validity

Getting started:

Click on one of the three applications on the left.
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.