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.
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: '~'