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

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

Categorical Logic


Propositional Logic


Formal Proofs


Notes on Logic by Lee Archie

Update:4/9/13
Please send questions, feedback, suggestions, and bug reports to:
john.saetti@gmail.com
Copyright ©2007 by John Saetti - ALL RIGHTS RESERVED