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.
Following is a partial list of topics covered by each application:
Categorical Proposition (last update: 5-12-10 bug fixes and enhancements)

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 (last update: 5-12-10 bug fixes and enhancements)

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.