Talk:Logical disjunction

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated Start-class, Mid-importance)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
Start Class
Mid Importance
 Field: Foundations, logic, and set theory
WikiProject Spoken Wikipedia
WikiProject icon This article is within the scope of WikiProject Spoken Wikipedia, a collaborative effort to improve the coverage of articles that are spoken on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.

what's that upmost expression supposed to mean?[edit]

a <or> b = a+b - ab ?!?

Please put it into words, esp. why it is on the top of the page.

Defining Disjunction With Arithmetic[edit]

Isn't it idiotic to define logical functors using arithmetic? This presupposes the definitions of arithmetic operations, not to mention a number system and seems wholly inappropriate in the context of logic.

Having covered arithmetic disjunctions at university many years ago I was looking for them here, maybe hoping for more detail. In maths they take the form -
If x in range n Then y = f1(x) Else y = f2(x) . In maths they are often considered extremely poisonous because they create points of infinite rate of change where the rules of calculus break down, they make proof and logic 'impure' for the same reason. As I understand it they are often regarded as sticking plasters fixing over broken areas and are found everywhere in some places- like trigonometry, or anywhere where a lot of infinities occur. - My point is that they obviously need a page. Lucien86 (talk) 19:18, 23 August 2008 (UTC)

Unknown User[edit]

Yes, I think Disjunctive should be mergered with Logical disjunction

OR gate symbol is not in accordance with MIL-STD-806b[edit]

The output side is too pointy and straight sided - other wikipedia articles show a different form for the gate symbol and should probably be used so as to be consistant. ChardingLLNL 22:54, 15 May 2006 (UTC)

Also, there is not a discussion/symbol/circuit for wired-OR operation. While logically not much different from a traditional OR gate it can support tri-state or powered off operations and thus operates beyond a simple boolean model. For more detail: [1]. --MountainLogic (talk) 16:28, 22 April 2008 (UTC)

The article logic gate is more appropriate for discussion of variants, since this article is about the abstract logical concept. The diagram should still be consistent though. Dcoetzee 16:57, 22 April 2008 (UTC)

a disambiguation?[edit]

maybe there should be a disambiguation so as to offer a redirect to Søren Kierkegaard's book? —The preceding unsigned comment was added by (talk) 20:24, 9 April 2007 (UTC).

Proposed project[edit]

I have been working on all of the logical operators recently. I would like to see a consistent format for them. There is a wikiproject proposal for this at: Wikipedia:WikiProject_Council/Proposals#Logical_Operators. Also see Talk:Logical connective.

I would like to see the logical, grammatical, mathematical, and computer science applications of all of the operators on the single page for each of those concepts.

Gregbard 08:52, 28 June 2007 (UTC)

Rename it to Inclusive Or[edit]

We should rename the article to "Inclusive Or", in accordance to Exclusive or.

More people understand what it means (articles like "water" are called "water", because it is understood by all, while "dihydrogen monoxide" is not)

Most people understand "Inclusive Or", but few will understand "logical disjunction". — Preceding unsigned comment added by RicardAnufriev (talkcontribs) 23:32, 28 September 2013 (UTC)

On the contrary, "inclusive or" is much more uncommon and confusing, since no one refers to it as the "inclusive or" except specifically to draw a comparison with the exclusive or. The general and common term in both mathematical logic and computer science for the subject of this article is "logical disjunction". —Lowellian (reply) 21:48, 21 April 2014 (UTC)