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".
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.
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.
My ignore list
"The lord doesn't work in mysterious ways, but in ways that are indistinguishable from his nonexistence."
-- George Yorgo Veenhuyzen quoted by John W. Loftus in The End of Christianity (p. 103).
"The lord doesn't work in mysterious ways, but in ways that are indistinguishable from his nonexistence."
-- George Yorgo Veenhuyzen quoted by John W. Loftus in The End of Christianity (p. 103).
