### 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.
## 0 Comments:

Post a Comment

<< Home