Logic Tools Main Page

Test A Truth Functional Sentence To See If It Is A Well-Formed Formula

Enter a truth functional sentence into the box below. After entering the sentence, click Submit Sentence.
You will be informed if you are correct, or you will be informed of your error.

Proper Syntax:
1. All letters must be capitalized.
2. Sub-formulas of a sentence must be encompassed by parenthetical devices.
3. The connectives are:
The wedge: 'v'
The ampersand: '&'
The horseshoe: '>'
The triple-bar: '='
The tilde: '~'