Ero sivun ”Lukion taulukot/Logiikka ja joukko-oppi” versioiden välillä
Poistettu sisältö Lisätty sisältö
Ei muokkausyhteenvetoa |
|||
Rivi 3: | Rivi 3: | ||
''Tämä teksti tulee suoraan sivupohjasta ja tähän pitäisi tulla sisältö [[:w:Lukion taulukot|Lukion taulukot]] -kirjan sivulta {{Lukion taulukot wikiaineistossa|11}}. |
''Tämä teksti tulee suoraan sivupohjasta ja tähän pitäisi tulla sisältö [[:w:Lukion taulukot|Lukion taulukot]] -kirjan sivulta {{Lukion taulukot wikiaineistossa|11}}. |
||
⚫ | |||
⚫ | |||
{| class="wikitable" style="display: inline-table;" |
{| class="wikitable" style="display: inline-table;" |
||
Rivi 58: | Rivi 55: | ||
|<em>x</em> ei ole <em>A</em>:n alkio |
|<em>x</em> ei ole <em>A</em>:n alkio |
||
|} |
|} |
||
⚫ | |||
⚫ | |||
{{Lukion taulukot -navigaatio}} |
{{Lukion taulukot -navigaatio}} |
Versio 17. syyskuuta 2018 kello 11.13
Tämä teksti tulee suoraan sivupohjasta ja tähän pitäisi tulla sisältö Lukion taulukot -kirjan sivulta 11.
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 |