Review

Logical System

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

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

There are five propositional 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 ...'