Symbols and notation in propositional logic

As you progress through the course, you will be introduced to other symbols and notation used in propositional logic.

We use symbols to represent propositions to prevent us from having to write out long propositions over and over again, and to make the structure of the logical statement clearer.

For example, we might use the symbol (p) to represent the proposition “The sky is blue”, or we might use the symbol (q) to represent the proposition “The grass is green”.

These symbols, then, represent the propositional variables.

In the next step, we’ll look at why and how we might join 2 statements (or variables).