Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Example (4)

  1. {1,2} ⊕ 3
      = (({1,2} ∩ {1,2}) ⋃ {3})‘‘
      = ({1,2} ⋃ {3})‘‘ = {1,2,3}‘‘
      = ∅‘ = {1,2,3}
        Is {1,2} ⊕ 3 valid?
        {1,2} ≺ 3 {1,2,3}, as 3 ∈ ({1,2,3} – {1,2} = {3}) and {1,2} ∩ {1,2}
        = {1,2,3} ∩ {1,2} = {1,2}
        ⇒ 6. extent: {1,2,3}

  2. As G = {1,2,3} there are no further extents

      B(G,M,I) = {(∅,M),({1},{a,b}),({3},{b,c}),({1,2},{a}), ({1,3},{b}),(G,∅)}

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.