Sivu:Lukion taulukot.pdf/12

MERKINTÖJÄ, MÄÄRITELMIÄ JA KAAVOJA 11

---

1 MATEMATIIKKA

MERKINTÖJÄ (standardi SFS 3100)

Logiikka ja joukko-oppi

$p\land q$${\displaystyle }$	p ja q (konjunktio)
$p\lor q$${\displaystyle }$	p tai q (disjunktio)
$\neg p$${\displaystyle }$	ei p (negaatio)
$p\Rightarrow q$${\displaystyle }$	jos p, niin q (implikaatio)
$p\Leftrightarrow q$${\displaystyle }$	p ja q ovat yhtäpitäviä (ekvivalenssi)
$\exists x:p\left(x\right)$${\displaystyle }$	on olemassa x siten, että p(x) pätee
$\forall x:p\left(x\right)$${\displaystyle }$	kaikille x pätee p(x)
$A\cap B$${\displaystyle }$	joukkojen A ja B leikkaus; joukko, jonka alkioina ovat kaikki A:n ja B:n yhteiset alkiot
$A\cup B$${\displaystyle }$	joukkojen A ja B yhdiste eli unioni; joukko, jonka alkioina ovat kaikki A:n ja B:n alkiot
$A\ \backslash \ B$${\displaystyle }$	joukkojen A ja B erotus; joukko, jonka alkioina ovat ne A:n alkiot, jotka eivät kuulu B:hen
$\complement _{\mathrm {E} }A$${\displaystyle }$	joukon A komplementti perusjoukon E suhteen; joukko, jonka alkioina ovat ne E:n alkiot, jotka eivät kuulu joukkoon A
$A\subset B$${\displaystyle }$	A on B:n osajoukko; jokainen A:n alkio on myös joukon B alkio
$A\not \subset B$${\displaystyle }$	A ei ole B:n osajoukko
$A=B$${\displaystyle }$	A on sama joukko kuin B
$x\in A$${\displaystyle }$	x on A:n alkio eli x kuuluu joukkoon A
$x\not \in A$${\displaystyle }$	x ei ole A:n alkio