# Talk:Peirce's law

• "If ${\displaystyle (p\Rightarrow q)}$ implies ${\displaystyle p\!}$ then ${\displaystyle p\!}$ must be true"