Originally posted by Agathon
No it isn't. Most uses of "or" in ordinary discourse are the exclusive use. In symbolic logic the exclusive use is not the common one.
In symbolic logic the "or" sign in "A v B" stands for the truth function "at least one must be true (perhaps both)" not "at least one and only one must be true" [that is (A v B).~(A . B) IIRC (although it's a while since I did symbolic logic)].
Pwned again.
No it isn't. Most uses of "or" in ordinary discourse are the exclusive use. In symbolic logic the exclusive use is not the common one.
In symbolic logic the "or" sign in "A v B" stands for the truth function "at least one must be true (perhaps both)" not "at least one and only one must be true" [that is (A v B).~(A . B) IIRC (although it's a while since I did symbolic logic)].
Pwned again.
or -- in logic -- means at least one must be true.
xor (or exclusive or, or exclusive disjunction) means one and only one must be true.
That, of course, has absolutely nothing to do with what was discussed here and just goes to show that you should brush up on your reading comprehension.
The meaning, in the context of the dictionary definition:
A student of or specialist in philosophy.
This has nothing to do with exclusive disjunctions...
Still, if you do look at the statement purely logically, it would also show that GePap is wrong. If it was the exclusive use, they obviously are not synonyms.

Comment