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

Wikikirjastosta
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}}.

== Aiheesta muualla ==
* {{Lukion taulukot wikiaineistossa|11|Tämä sivu wikiaineistossa: Lukion taulukot s. 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
|}
|}

== Aiheesta muualla ==
* {{Lukion taulukot wikiaineistossa|11|Tämä sivu wikiaineistossa: Lukion taulukot s. 11}}


{{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.

Logiikka ja joukko-oppi
pq p ja q (konjunktio)
pq p tai q (disjunktio)
¬p ei p negaatio
pq jos p, niin q (implikaatio)
pq 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)
AB joukkojen A ja B leikkaus; joukko, jonka alkioina ovat kaikki A:n ja B:n yhteiset alkiot
AB 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
AB A on B:n osajoukko; jokainen A:n alkio on myös joukon B alkio
AB A ei ole B:n osajoukko
A=B A on sama joukko kuin B
xA x on A:n alkio eli x kuuluu joukkoon A
xA x ei ole A:n alkio

Aiheesta muualla