Homework · Sentential logic · Chapter 2

Translation

Symbolize English sentences in SL. Any correct symbolization is accepted, not just one form. If your answer is wrong, you'll see why, and a case where your sentence and the English come apart.

Your progress

0 sentences done

Each sentence has a code, like T2-k3j9a. The same code always gives the same sentence, so a tutor can assign one by sending its code. Progress is saved in this browser.

Difficulty

Symbolization key

Your symbolization

Shortcuts: ~ for ~, &, v for ∨, > for ⊃, = for ≡. Outer brackets can be left off.

Sentence code:— Load a code:

History

Recent sentences

Your last 15 sentences, newest first. Click one to go back to it.