Talk:Peirce's Law implies Law of Excluded Middle

So as to cut down on all the necessary verbiage caused by your discomfort with $\vdash$, could be better expressed as:

$\left({\left({p \implies q) \implies p}\right) \implies p}\right) \vdash \left({p \lor \neg p}\right)$

? --prime mover (talk) 08:06, 1 June 2013 (UTC)