(May 29, 2014 at 1:06 pm)Tea Earl Grey Hot Wrote: I'm studying propositional logic and I learned that "or" means "at least one is true". So you could have "a or b" and even if both a and b were each true then "a or b" is still true. In everyday language however "or" means only one of two things can be true, not both hence the reason we have the phrase "and/or" to mean "at least one is true".In computers, there are usually 3 logic operators: OR, NOT, AND. There's also the bitwise operator, XOR, which is what you are talking about.
Why not just keep the traditional exclusive meaning of "or" in propositional logic and then have another symbol for "and/or"? Seems simpler to me.
I think the way they have it makes sense. A girl will go out with a man if he has a sexy body or a lot of money. Saying she will also go out with him if he has a sexy body AND a lot of money seems a little too redundant.
