Logical Disjunction - Union

Union

The union used in set theory is defined in terms of a logical disjunction: xAB if and only if (xA) ∨ (xB). Because of this, logical disjunction satisfies many of the same identities as set-theoretic union, such as associativity, commutativity, distributivity, and de Morgan's laws.

Read more about this topic:  Logical Disjunction

Famous quotes containing the word union:

    Maybe we were the blind mechanics of disaster, but you don’t pin the guilt on the scientists that easily. You might as well pin it on M motherhood.... Every man who ever worked on this thing told you what would happen. The scientists signed petition after petition, but nobody listened. There was a choice. It was build the bombs and use them, or risk that the United States and the Soviet Union and the rest of us would find some way to go on living.
    John Paxton (1911–1985)

    One thing that makes art different from life is that in art things have a shape ... it allows us to fix our emotions on events at the moment they occur, it permits a union of heart and mind and tongue and tear.
    Marilyn French (b. 1929)

    The union of hands and hearts.
    Jeremy Taylor (1613–1667)