Lukion taulukot/Logiikka ja joukko-oppi

Tämä teksti tulee suoraan sivupohjasta ja tähän pitäisi tulla sisältö Lukion taulukot -kirjan sivulta 11.

Aiheesta muualla

• Tämä sivu wikiaineistossa: Lukion taulukot s. 11

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