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 (3)

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

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.