Talk:Two-element Boolean algebra: Difference between revisions

Revision as of 07:50, 2 April 2008

Latest revision as of 05:43, 9 March 2024

(6 intermediate revisions by 6 users not shown)

Line 1:

{{WikiProject banner shell|class=Start|

{{maths rating|field=foundations|importance=low|class=start}}

{{WikiProject Mathematics|importance=low}}

}}

== List update ==

Philip Meguire, 22.10.05: I have rewritten this at some length. To understand my interest on this topic, see the references to [[Laws of Form]].

<small><span class="autosigned">—Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[User:132.181.160.61|132.181.160.61]] ([[User talk:132.181.160.61|talk]] • [[Special:Contributions/132.181.160.61|contribs]]) 07:03, 23 October 2005 (UTC)</span></small><!-- Template:Unsigned -->

=="carrier"==

Line 9 ⟶ 12:

:"Carrier" is relatively standard terminology. [http://scholar.google.com/scholar?q=%22universal+algebra%22+carrier] [http://scholar.google.com/scholar?q=%22model+theory%22+carrier] I don't know if it is

:Personally I like it because it's short and descriptive. "Underlying set" is similarly descriptive, but a bit too clumsy to be used all the time. "Universe" is also short and descriptive, but descriptive in the wrong way. It comes with connotations of something huge that cannot be changed. --[[User:Hans Adler|Hans Adler]] ([[User talk:Hans Adler|talk]]) 07:50, 2 April 2008 (UTC)

== Full stop as a notation for ∧ ==

I suppose that somebody used [[full stop|<span style="background-color:#FFCCCC; color:#000000; padding:2px; font-weight: 900">.</span>]] just because of inability to input the middle dot '''[[·]]''' (TeX: <math>\cdot</math>) character, which is used sometimes as a multiplication sign. May I replace full stops with middle dots? [[User:Incnis Mrsi|Incnis Mrsi]] ([[User talk:Incnis Mrsi|talk]]) 18:56, 1 April 2010 (UTC)

:I agree. We already have lots of different notations for AND and OR. We don't need additional diversity in how multiplicative notation is displayed. [[User:Hans Adler|Hans]] [[User talk:Hans Adler|Adler]] 19:45, 3 April 2010 (UTC)

::Wikipedia generally strives for uniformity in notation between articles. Either the many other articles on Boolean algebra should switch to the + . notation, or this one should switch to the &and; &or; notation. I would be in favor of the latter. --[[User:Vaughan Pratt|Vaughan Pratt]] ([[User talk:Vaughan Pratt|talk]]) 18:04, 21 March 2011 (UTC)

== concatenation, OR, "one binary operation" ==

*From the 4 numbered properties listed using concatenation and complementation, it appears that "concatenation" in this context is the OR operation. Is this correct?

*From what I understand, 2 element Boolean algebra can be represented with a single binary operation (either NAND or NOR) without complementation. If this is correct, I'd like to reword "We only need one binary operation..." since it is introducing a notation that uses one binary operation plus complementation, rather than only a binary operation.

--[[User:Wikimedes|Wikimedes]] ([[User talk:Wikimedes|talk]]) 11:03, 29 March 2012 (UTC)