Lukion taulukot/Logiikka ja joukko-oppi
Ulkoasu
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 |
∅ | tyhjä joukko |
{x1,x2,...,xn} | alkioiden x1,x2,...,xn muodostama joukko |
{x∈A ∣ p(x)} | niiden A:n alkioiden x joukko, joille pätee p(x) |
A×B | joukkojen A ja B tulojoukko (lue A risti B); niiden järjestettyjen parien (x, y) joukko, missä x∈A ja y∈B |
(x, y) | x:n ja y:n järjestetty pari (tulojoukon alkio) |
: A → B | kuvaus eli funktio joukosta A joukkoon B |
alkion x kuva kuvauksessa ( arvolla x); alkion x kuvautuminen kuvauksessa merkitään x ↦ | |
alkion x alkukuva kuvauksessa | |
joukon A kuva kuvauksessa | |
joukon B alkukuva kuvauksessa | |
kuvauksen käänteiskuvaus | |
g∘ | yhdistetty kuvaus (lue g pallo ); (g∘)(x) = g() |
(xn) | jono x1, x2, ... |