Raymond B. answered 07/24/19
Math, microeconomics or criminal justice
P v ~P (P or not P)
or P v Q (where Q=~P)
It's a tautology, an always true statement. But this uses the inclusive "or" for v, the logical disjunction
If P and Q cannot both be true, if they are disjoint, non-overlapping events, but together exhaust all possible events, then you might want to add more symbols, or a different symbol
(PvQ) ^ ~(P^Q) This uses the exclusive "or" (P or Q but not both P and Q) or exclusive disjunction
^ is the conjunction
Another symbol that does it more briefly is not on my typewriter. It's a small circle with a cross inside it. It stands for the exclusive "or"
P 0 Q, is as close as I can type it, Just image a cross inside that 0, connecting the top and bottom of 0 and a horizontal line connecting the left and right edges of the 0