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

  1. {3} ⊕ 2
      = (({3} ∩ {1}) ⋃ {2})‘‘
      = (∅ ⋃ {2})‘‘ = {2}‘‘
      = {a}‘ = {1,2}
        Is {3} ⊕ 2 valid?
        {3} ⊀ 2 {1,2} as 2 ∈ ({1,2} - {3} = {1,2})
        but ({3} ∩ {1} = ∅) ≠ ({1,2} ∩ {1} = {1})
  2. {3} ⊕ 1
      = (({3} ∩ ∅) ⋃ {1})‘‘
      = (∅ ⋃ {1})‘‘ = {1}‘‘
      = {a,b}‘ = {1}

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

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.