See thread: "Proof of "Axioms" of Propositional Logic: Synopsis" for the meaning of the symbols.
We have the axiom (A:O): (p)-(+)-( )-(+)-(~p) <-> (), where "()" is the empty structure which evaluates to "false".
From this we can prove: p, ~p OR C -> C as follows:
Line # Statement...