Ero sivun ”Lukion taulukot/Logiikka ja joukko-oppi” versioiden välillä
Poistettu sisältö Lisätty sisältö
Lisäsin logiikan ja joukko-opin merkkien taulukon |
Täydensin taulukkoa |
||
Rivi 33:
|∀<em>x</em>:<em>p</em>(<em>x</em>)
|kaikille <em>x</em> pätee <em>p</em>(<em>x</em>)
|-
|<em>A</em>∩<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>∪<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>⊂<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>⊄<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>∈<em>A</em>
|<em>x</em> on <em>A</em>:n alkio eli <em>x</em> kuuluu joukkoon <em>A</em>
|-
|<em>x</em>∉<em>A</em>
|<em>x</em> ei ole <em>A</em>:n alkio
|}
|