Review

Logical System

There is the idea of setting up a code or convention or dictionary between atomic sentences and capital letters.

There are compound sentences, each of which has a main connective which connects its components.

There are five sentential logical connectives:

'∼' which translates back to 'it is not the case that...'

'.' which translates back to '... and ...'

'∨' which translates back to '... or ...'

'³' which translates back to 'if... then ...'

'≡' which translates back to '... if and only if ...'