This is a derivation using symbolic logic from philosophy, i am stuck deriving (P v ~P )this is goal with no premises? the ~ is a negation and v a disjunction. We can use all basic derivation rules, for introduction and elimination of the conjunction, disjunction, negation, conditional, biconditional, and falsum, but we can not use law of excluded middle