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: | Rivi 33: | ||
|∀<em>x</em>:<em>p</em>(<em>x</em>) |
|∀<em>x</em>:<em>p</em>(<em>x</em>) |
||
|kaikille <em>x</em> pätee <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 |
|||
|} |
|} |
Versio 16. syyskuuta 2018 kello 18.36
Tämä teksti tulee suoraan sivupohjasta ja tähän pitäisi tulla sisältö Lukion taulukot -kirjan sivulta 11.
Aiheesta muualla
p∧q | p ja q (konjunktio) |
p∨q | p tai q (disjunktio) |
¬p | ei p negaatio |
p⇒q | jos p, niin q (implikaatio) |
p⇔q | p ja q ovat yhtäpitäviä (ekvivalenssi) |
∃x:p(x) | on olemassa x siten, että p(x) pätee |
∀x:p(x) | kaikille x pätee p(x) |
A∩B | joukkojen A ja B leikkaus; joukko, jonka alkioina ovat kaikki A:n ja B:n yhteiset alkiot |
A∪B | joukkojen A ja B yhdiste eli unioni; joukko, jonka alkioina ovat kaikki A:n ja B: n alkiot |
A\B | joukkojen A ja B erotus; joukko, jonka alkioina ovat ne A:n alkiot, jotka eivät kuulu B:hen |
joukon A komplementti perusjoukon E suhteen; joukko, jonka alkioina ovat ne E:n alkiot, jotka eivät kuulu joukkoon A | |
A⊂B | A on B:n osajoukko; jokainen A:n alkio on myös joukon B alkio |
A⊄B | A ei ole B:n osajoukko |
A=B | A on sama joukko kuin B |
x∈A | x on A:n alkio eli x kuuluu joukkoon A |
x∉A | x ei ole A:n alkio |