symbolization

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

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

Propositional Logic: 10 Tutorials

Logical System

Indicative sentences in a natural language, English, for instance, are either true or false. For example, 'There are 35 State Governors in the U.S.A.' is an indicative sentence (which happens to be false). Such sentences express statements or propositions. Not all pieces of language express propositions. For example, the question 'What day is it today?' is not either true or false (although reasonable answers to it will be either true or false); again, the greeting 'Have a nice day!' is not either true or false.