Wednesday, January 11, 2012

Interesting note on the history of symbolic logic

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.