Ero sivun ”Lukion taulukot/Logiikka ja joukko-oppi” versioiden välillä

Täydensin taulukkoa
(Lisäsin logiikan ja joukko-opin merkkien taulukon)
(Täydensin taulukkoa)
|&forall;<em>x</em>:<em>p</em>(<em>x</em>)
|kaikille <em>x</em> pätee <em>p</em>(<em>x</em>)
|-
|<em>A</em>&cap;<em>B</em>
|joukkojen <em>A</em> ja <em>B</em> leikkaus; joukko, jonka alkioina ovat kaikki <em>A</em>:n ja <em>B</em>:n yhteiset alkiot
|-
|<em>A</em>&cup;<em>B</em>
|joukkojen <em>A</em> ja <em>B</em> yhdiste eli unioni; joukko, jonka alkioina ovat kaikki <em>A</em>:n ja <em>B</em>: n alkiot
|-
|<em>A</em>\<em>B</em>
|joukkojen <em>A</em> ja <em>B</em> erotus; joukko, jonka alkioina ovat ne <em>A</em>:n alkiot, jotka eivät kuulu <em>B</em>:hen
|-
|<math>\complement_E A</math>
|joukon <em>A</em> komplementti perusjoukon <em>E</em> suhteen; joukko, jonka alkioina ovat ne <em>E</em>:n alkiot, jotka eivät kuulu joukkoon <em>A</em>
|-
|<em>A</em>&sub;<em>B</em>
|<em>A</em> on <em>B</em>:n osajoukko; jokainen <em>A</em>:n alkio on myös joukon <em>B</em> alkio
|-
|<em>A</em>&nsub;<em>B</em>
|<em>A</em> ei ole <em>B</em>:n osajoukko
|-
|<em>A</em>=<em>B</em>
|<em>A</em> on sama joukko kuin <em>B</em>
|-
|<em>x</em>&isin;<em>A</em>
|<em>x</em> on <em>A</em>:n alkio eli <em>x</em> kuuluu joukkoon <em>A</em>
|-
|<em>x</em>&notin;<em>A</em>
|<em>x</em> ei ole <em>A</em>:n alkio
|}
1 312

muokkausta