Symbols:P/Proposition

Proposition

 * $p$ or $P$

Used to denote a general proposition in the context of propositional logic.