A v ~A = bivalence

Look. If you say that excluded middle is the thesis that either A or not A and your use of ‘or’ is truth functional, then you’re saying that at least one of two statements is true: A or A’s negation. To say that A is true or not A is true is just to affirm bivalence. Therefore, if you express excluded middle with a truth functional ‘or’ then you’ve expressed bivalence. End rant.