Lukion taulukot/Logiikka ja joukko-oppi
| 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, ... |
