structure for 'Theory of Logic'    |     alphabetical list of themes    |     expand these ideas

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / b. Basic connectives

[minimal connectives needed for a logic system]

3 ideas
There seem to be eight or nine logical constants [Russell]
In sentential logic there is a simple proof that all truth functions can be reduced to 'not' and 'and' [Tharp]
Propositional logic just needs ¬, and one of ∧, ∨ and → [Zalabardo]