Talk:Monadic Boolean algebra Source: en.wikipedia.org/wiki/Talk:Monadic_Boolean_algebra

This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects:

Mathematics Low‑priority 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.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics Low This article has been rated as Low-priority on the project's priority scale.

The two rules 3 aren't dual in this edition. How should they look? Vivacissamamente 12:29, 25 October 2005 (UTC)[reply]

Looks ok to me ??? Kuratowski's Ghost 22:18, 25 October 2005 (UTC)[reply]

Okay, we've got

3. ∃(x + y) = ∃x + ∃y;

4. ∃x∃y = ∃(x∃y)

vs.

3. ∀(xy) = ∀x∀y;

4. ∀x + ∀y = ∀(x + ∀y)

Besides the fact that 3 and 4 seem to switch places, we also seem to have a difference of opinions in the nestings: namely, in ∃3 we don't have any nested existentials, whereas in ∀4 we do; similarly, in ∀3 we don't have any nested universals, wheras in &exists;3 we do. I'm not sure which is right, but these don't look dual to me... if they are, please explain why. Thank you. Vivacissamamente 01:03, 28 October 2005 (UTC)[reply]

Under duality, joins become meets besides ∃ becoming ∀ so for example the dual of x + y is xy and the dual of ∃x + ∃y is ∀x∀y etc Kuratowski's Ghost 15:40, 28 October 2005 (UTC)[reply]

Okay, I get it. Vivacissamamente 17:27, 28 October 2005 (UTC)[reply]

Why not use ∧∨¬ in the signature for the boolean algebra? It would be much easier to read if the notation was consistent with the other articles about logic on Wikipedia. 198.109.220.243 (talk) 18:49, 31 October 2024 (UTC)[reply]