propositional-logic-syntax

Propositional Logic Syntax consists of following parts.

1. Propositional statements represented as Upper case letters. For instance, $P,Q,R,...,P_1,P_2,...$
   1. All the statements are represented using these letters.
2. Logical connectives
   1. $\wedge ,\vee ,\leftrightarrow ,\to$ and $\neg$.
3. Inference rules
4. Axioms

References

1. Syntax and Formation rules of PL