Talk:Intersection with Complement

Set Theory / Propositional Logic
I see the comment about Non-Contradiction.

I plan on something rather more comprehensive, rather than vague words about "similarity" which outside of the precise definition in mathematics (i.e. "same shape, different size" etc.) doesn't mean anything.


 * Maybe "analogous" is a better word here... -Andrew Salmon 17:23, 11 September 2011 (CDT)


 * Shrug, possibly, but it's still a bit like expressing interest in the fact that 4 + 3 = 3 + 4 without remarking on the general commutativity of addition. --prime mover 00:35, 12 September 2011 (CDT)

It is possible to establish with minimal work, based on the current status of Set Theory and Propositional Logic, to establish that both PropLog with $\land$ and $\lor$ and Set Theory with $\cup$ and $\cap$ both form a Boolean Ring.

Hence all this "similarity" will be able to be directly established as an isomorphism.

Would have got to it before now but we still need to do some more work on Boolean Rings. --prime mover 14:49, 11 September 2011 (CDT)