Lukion taulukot/Logiikka ja joukko-oppi

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
${\complement }_{E}A$	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)
$f$: A → B	kuvaus eli funktio $f$ joukosta A joukkoon B
$f(x)$	alkion x kuva kuvauksessa $f$ ($f$ arvolla x); alkion x kuvautuminen kuvauksessa $f$ merkitään x ↦ $f(x)$
$f^{-1}(x)$	alkion x alkukuva kuvauksessa $f$
$f(A)$	joukon A kuva kuvauksessa $f$
$f^{-1}(B)$	joukon B alkukuva kuvauksessa $f$
$f^{-1}$	kuvauksen $f$ käänteiskuvaus
g∘$f$	yhdistetty kuvaus (lue g pallo $f$); (g∘$f$)(x) = g($f(x)$)
(xn)	jono x1, x2, ...