Back to Seattle Critical Review
Syntax and Directions
Main Page
What logic tool would you like to use?
I. Truth Functional Logic Tools
A. Practice translating English sentences into symbolic form:
Truth Functional Translations
B. Test symbolic formulas to see if they are well formed formulas:
Well-formed Formula Test
C. Determine if a sentence is a tautology, a contradiction, or contingent:
Single Sentence Truth Table
D. Evaluate an argument for validity:
Argument Truth Table
E. Test for logical relations between two sentences:
Set of Sentences Truth Table
F. Practice truth-functional proofs:
Proofs
II. Quantified Logic Tools
A. Practice doing refutations by logical analogy:
Logical Analogies