Very short blurb...While reading through a chapter of Stephen Kleene's "Mathematical Logic", I came across an interesting fact. The symbol in mathematical logical for "inclusive or" (
nonexclusive disjunction) is traditionally expressed as "
\vee" - that much I knew. What I
didn't know is that this symbol is descendant from the Latin word for "inclusive or":
vel. Pretty cool stuff.
No comments:
Post a Comment