Merkintöjä¶
Esitellään seuraavaksi joitakin matemaattisia merkintöjä, joiden merkitys on matemaattisissa teksteissä kutakuinkin vakiintunut. Tavoitteena on pystyä itse käyttämään näitä merkintöjä ja toisaalta tulkitsemaan näiden merkintöjen avulla kirjoitettuja lauseita arkikielellä. Tässä luvussa esitellään merkinnöistä lähinnä logiikan merkintöjä sekä kootaan joitakin tärkeitä merkintöjä, joita tarvitaan myöhemmin.
Matemaattisissa teksteissä erilaisten merkintöjen käyttäminen on välttämätöntä, koska niiden avulla voidaan ilmaista monimutkaisiakin lauserakenteita kompaktissa muodossa ja ilman niitä tekstistä tulisi kapulakielistä ja vaikeaselkoista. Esimerkiksi (älä pelästy, vaikka esimerkki ei vielä täysin aukea) funktion jatkuvuus voidaan määritellä arkikielisellä lauseella
Jokaista nollaa suurempaa lukua \(\varepsilon\) kohti löytyy sellainen nollaa suurempi \(\delta\), että mikäli reaaliluvun \(x\) etäisyys luvusta \(x_0\) on pienempi kuin \(\delta\) ja suurempi kuin nolla, niin funktion \(f\) arvojen \(f(x)\) ja \(f(x_0)\) välinen etäisyys on pienempi kuin \(\varepsilon\).
tai matemaattisten merkintöjen avulla lyhyesti muodossa
Yllä käytetyt symbolit \(\varepsilon\) ja \(\delta\) ovat kreikkalaisia aakkosia. Kreikkalaisia aakkosia käytetään paljon matemaattisissa merkinnöissä, ja niitä voi kerrata liitteenä olevasta taulukosta.
Joukkoihin liittyvät merkinnät¶
Käsitellään ensiksi joukkoihin liittyviä merkintöjä. Matematiikassa käytetään joskus filosofian termistöstä lainattua sanaa olio, kun tarkoitetaan jotain (yleensä yksilöimätöntä) matemaattista käsitettä. Monessa matemaattisessa yhteydessä tarkasteltavana oliona on esimerkiksi lukuja tai vektoreita sisältävä joukko. Joukkoa merkitään aaltosulkein \(\{\cdot\}\) ja tietty joukko voidaan määritellä luettelemalla sen alkiot, kuten
missä jälkimmäinen ymmärretään päättymättömäksi listaksi parillisia luonnollisia lukuja. Huomaa kuitenkin, että on äärettömän paljon muitakin joukkoja, joiden kolme pienintä alkiota ovat 2, 4 ja 6. Siispä kolme pistettä sisältävää joukkomerkintää kannattaa käyttää vain silloin, kun erehtymisen vaaraa ei ole. Parempi vaihtoehto on ilmaista joukkoon kuuluminen ehdon avulla. Joukkosulkeiden sisällä on aluksi kuvaus siitä, millä merkinnällä jälkeenpäin tulevassa ehdossa määriteltävän joukon alkiota esitetään (usein myös kerrotaan lyhyesti, minkä tyyppinen alkio on). Kaksoispisteen tai pystyviivan jälkeen seuraa tarkempi ehto, jonka kaikki joukkoon kuuluvat alkiot toteuttavat. Esimerkiksi
tarkoittaa joukkoa {a, e, i, o, u, y, ä, ö}. Joukon alkioita listatessa toistoilla ja järjestyksellä ei ole merkitystä. Esimerkiksi \(\{1,2,3\}\) on sama joukko kuin \(\{3,2,2,1,1,1\}\).
Huomautus 1.2.1
Joukko-oppia pitemmälle opiskelleet saattavat huomata, että tässä esitetty intuitiivinen joukon luonnehdinta on epätäsmällinen ja johtaa esimerkiksi Russelin paradoksiin. Käytännössä se on kuitenkin usein riittävä, eikä tällä kurssilla tarvita yksityiskohtaisempaa aksioomiin perustuvaa määritelmää.
Joukkoja merkitään usein isoilla kirjaimilla \(A,B,C,\ldots\) ja niiden alkioita pienillä kirjaimilla \(a,b,c,\ldots\) Joukkoihin ja niiden alkioihin liittyy seuraavia merkintöjä.
- Jos alkiot \(x\) ja \(y\) ovat samat, kirjoitetaan \(x = y\).
- Jos alkiot \(x\) ja \(y\) eivät ole samat, kirjoitetaan \(x \not= y\).
- Jos \(x\) on joukon \(A\) alkio, kirjoitetaan \(x \in A\).
- Jos \(x\) ei ole joukon \(A\) alkio, kirjoitetaan \(x \not\in A\).
- Jos kaikki joukon \(A\) alkiot ovat myös joukon \(B\) alkioita, kirjoitetaan \(A \subseteq B\) ja sanotaan, että \(A\) on joukon \(B\) osajoukko.
- Jos kaikki joukon \(A\) alkiot eivät ole joukon \(B\) alkioita, kirjoitetaan \(A \not\subseteq B\).
- Jos joukoissa \(A\) ja \(B\) on täsmälleen samat alkiot, kirjoitetaan \(A = B\).
- Merkintä \(\varnothing = \emptyset = \{\}\) tarkoittaa tyhjää joukkoa, jossa ei ole yhtään alkiota.
Joukkoa, joka ei ole tyhjä joukko \(\varnothing\), sanotaan epätyhjäksi. Lisäksi joukko on äärellinen, jos sen jäsenten lukumäärä on äärellinen. Muutoin joukko on ääretön.
Huomautus 1.2.2
- Intuition mukaisesti tyhjä joukko on kaikkien joukkojen osajoukko, eli \(\varnothing \subseteq A\) ja joukko on itsensä osajoukko, eli \(A \subseteq A\).
- Jos \(A\) on joukon \(B\) osajoukko, mutta \(A\neq B\), niin voidaan myös merkitä \(A \subset B\). Tällöin sanotaan, että \(A\) on joukon \(B\) aito osajoukko.
Esimerkki 1.2.3
Jos \(A=\{1,3,5\}\), niin voidaan kirjoittaa
Luonnollisella kielellä ilmaistuna esimerkiksi \(\{1,2,3\}\not\subseteq A\) tarkoittaa, että joukko \(\{1,2,3\}\) ei ole joukon \(A\) osajoukko. Tämä johtuu siitä, että osajoukon kaikkien alkioiden pitää kuulua osajoukon sisältämään joukkoon. Nyt \(2\not\in A\) eli alkio \(2\) ei kuulu joukkoon \(A\).
Merkintä \(\{1\}\) tarkoittaa puolestaan joukkoa, joka sisältää alkion \(1\). Näitä kahta asiaa ei sovi sekoittaa. Koska \(1\) kuuluu myös joukkoon \(A\) ja \(\{1\}\not=A\), voidaan sanoa, että \(\{1\}\) on joukon \(A\) aito osajoukko. Matemaattisesti merkitään siis \(\{1\}\subset A\).
Lukualueet luonnollisista luvuista kompleksilukuihin ovat myös joukkoja. Reaalilukujen täsmällinen määritelmä on sen verran monimutkainen, että se sivuutetaan. Kompleksilukuihin palataan tarkemmin luvussa 8.
Tässä kohtaa on tehty valinta, että \(0\) ei kuulu luonnollisiin lukuihin. Tästä ei kuitenkaan ole yhtenäistä sopimusta, vaan joissain teksteissä \(0\) luokitellaan luonnollisten lukujen alle. Käytännössä tämä pitää kunkin tekstin yhteydessä erikseen tarkistaa. Yllä oleville lukujoukoille voidaan kirjoittaa osajoukkoketju
Lisäksi positiivisille ja negatiivisille kokonaisluvuille käytetään yleisesti merkintöjä \(\Z_+=\{1,2,3,\ldots\}\) ja \(\Z_-=\{-1,-2,-3,\ldots\}\). Vastaavalla tavalla \(\R_+\), \(\R_-\), \(\Q_+\) ja \(\Q_-\) viittaavat positiivisiin ja negatiivisiin reaali- ja rationaalilukuihin (sovitaan, että nolla jää näiden joukkojen ulkopuolelle).
Laskutoimitukset, järjestysrelaatio ja niihin liittyvät merkinnät¶
Yllä mainittuihin lukualueisiin liittyy erilaisia laskutoimituksia, jotka ovat käytännön kannalta yhtä tärkeitä kuin luvut itse. Järjestysrelaatio on hyödyllinen työkalu, sillä se mahdollistaa kahden luvun suuruuden vertailun. Kun laskutoimitukset ja järjestysrelaatio määritellään reaaliluvuille, tulevat ne määriteltyä samalla rationaaliluvuille ja kokonaisluvuille, sillä nämä ovat reaalilukujen osajoukkoja. Samaan tapaan reaalilukujen osajoukot perivät myös kaikki laskutoimitusten ominaisuudet. Reaaliluvuille määritellyt laskutoimitukset voidaan lisäksi laajentaa kompleksiluvuille. Järjestysrelaatio sen sijaan on määritelty vain reaaliluvuille, sillä epämuodollisesti ilmaistuna ei ole luontevaa tapaa järjestää kompleksilukuja suuruusjärjestykseen.
Reaalilukujen laskutoimitukset ovat lukiosta tutut yhteenlasku \(+\) ja kertolasku \(\cdot\,\), jotka toimivat tismalleen samaan tapaan kuin lukiossakin. Siksi näiden laskutoimitusten algebralliset ominaisuudet oletetaan tunnetuiksi. Esimerkki tunnetuksi oletetusta ominaisuudesta on osittelulaki, jonka mukaan kaikille reaaliluvuille \(x\), \(y\) ja \(z\) on voimassa
Täsmällisesti näitä todeksi oletettuja ominaisuuksia voidaan koota niin kutsutuiksi *kunta-aksioomiksi*, joista reaaliluvuille tuttuja laskusääntöjä voidaan johtaa.
Kunta-aksioomien lisäksi tarvitaan myös *järjestysaksioomia*, jotta reaalilukuja voidaan verrata keskenään järjestysrelaatiolla \(<\). Esimerkiksi yhden järjestysaksiooman mukaan jos reaaliluvuille \(x\), \(y\) ja \(c\) on voimassa, että \(x<y\) ja \(c>0\), niin silloin \(cx<cy\). Järjestysaksioomien avulla voidaan täsmällisesti todistaa reaalilukujen tuttuja ominaisuuksia, jotka saattavat aluksi vaikuttaa niin ilmeisiltä, ettei tarvetta niiden todistamiselle edes tule ajatelleeksi.
Huomautus 1.2.4
Seuraavat tulokset ovat voimassa ja ne ovat hyödyllisiä termien arvioimisessa.
- Jos reaaliluvuille \(x\), \(y\) ja \(c\) on voimassa \(x < y\) ja \(c < 0\), niin \(cy < cx\).
- Jos reaaliluvuille \(x\) ja \(y\) on voimassa \(0 < x < y\), niin \(0 < \frac{1}{y} < \frac{1}{x}\).
- Jos positiivisille reaaliluvuille \(x\), \(y\), \(z\) ja \(q\) on voimassa \(x > y\) ja \(z > q\), niin \(xz > yq\) ja \(\frac{x}{q} > \frac{y}{z}\).
Yhteenvetona reaalilukujen ominaisuuksiin liittyen: Käytännössä kaikki reaalilukujen tavalliset ominaisuudet joita lukiossakin on käytetty voidaan johtaa lähtien aksioomista liikkeelle. Tällä kurssilla voidaan ne olettaa tunnetuiksi tai triviaaleiksi eli itsestäänselviksi tapauksiksi eikä niitä tarvitse erikseen perustella. Reaalilukujen yhteen-, vähennys-, kerto- ja jakolaskuissa käytetään tavallista merkintätapaa ja luvun potenssia merkitään tuttuun tapaan
missä \(n\) on positiivinen kokonaisluku.
Järjestysrelaatioita \(<\) ja \(\leq\) käyttämällä voidaan ilmaista reaalilukuvälejä. Koska välit ovat jatkon kannalta oleellisia, niillä on omat kompaktit merkinnät. Jos \(a\in\R\), \(b\in\R\) ja \(a<b\), niin määritellään rajoitetut välit
ja rajoittamattomat välit
Samassa hengessä kirjoitetaan \((-\infty,\infty)=\R\).
Esimerkki 1.2.5
- \(\{n : n = 2k - 1 \text{ ja } k \in \N\} = \{2k - 1 : k \in \N\} = \{1, 3, 5, \ldots\}\)
- \(\{2k - 1 : k \in \N \text{ ja } k \leq 50\} = \{2k - 1 : k = 1, \ldots, 50\} = \{1, 3, 5, \ldots, 99\}\)
- \(\{x \in \R : x^2 - 8x + 15 = 0\} = \{3, 5\}\)
- \(\{x \in \R : x^2 - 8x + 15 < 0\} = (3, 5)\)
- \(\{x \in \R : x^2 + 1 = 0\} = \varnothing\)
- \(\{x \in \C : x^2 + 1 = 0\} = \{-i, i\}\) (tämän perustelut selviävät luvussa 8)
Joukoista on hyötyä kokonaislukujen jaollisuuden pohtimisessa. Esimerkiksi parillisten, eli kahdella jaollisten lukujen joukko voidaan määritellä niin, että sen jokainen alkio on muotoa \(2 \cdot \text{kokonaisluku}\). Täten
on parillisten kokonaislukujen joukko. Tässä on oleellista, että \(k\) kuuluu joukkoon \(\Z\), eli että \(k\) on kokonaisluku, jotta \(2k\) varmasti olisi parillinen luku. Vastaavasti parittomien lukujen joukko on
eli ne ovat muotoa \(\text{parillinen luku} + 1\).
Täydennä näiden esimerkkien perusteella seuraavien väitteiden tyhjät kohdat. Vastaa kohdat kenttiin järjestyksessä, eli kirjoita ensimmäisen väitteen tyhjään kohtaan sopiva lauseke ensimmäiseen tekstikenttään, toisen väitteen toiseen ja kolmannen väitteen kolmanteen.
Kolmella jaollisten lukujen joukko \(C = \{n \in \Z : \underline{\phantom{n = 3k}} \text{ jollekin } k \in \Z\}\).
Ne luvut, jotka eivät ole jaollisia kolmella, voidaan ajatella muodostettavan samaan tyyliin kuin parittomat luvut yllä, eli lisäämällä kolmella jaolliseen lukuun jokin kokonaisluku. Nyt ei tosin riitä yhden kokonaisluvun lisääminen, vaan tarvitaan kaksi eri lukua.
Kolmella jaottomien lukujen joukko on \(D = \{n \in \Z : \underline{\phantom{n = 3k + 1} \lor \phantom{n = 3k + 2}} \text{ jollekin } k \in \Z\}\). Anna vastauksena kaksi yhtälöä ’tai’-konnektiivilla yhdistettynä. Voit kirjoittaa symbolin \(\lor\) komennolla
\/
taior
. Symbolin \(\lor\) jälkeen aloitettava vastauksen osa alkaa myös merkeinn =
.Oletetaan, että \(a, b \in \Z\). Tällöin luku \(4a + 6b\) on parillinen, sillä se voidaan esittää muodossa \(2c\), missä \(c = \underline{\phantom{2a + 3b}} \in \Z\).
Summamerkintä ja summalausekkeiden ominaisuuksia¶
Useissa eri yhteyksissä tulee vastaan tilanne, jossa täytyy käsitellä useiden alkioiden yhteenlaskua. Esimerkiksi kurssilla Differentiaali- ja integraalilaskenta käydään tarkemmin läpi määrätyn integraalin määritelmää sekä erilaisia sarjoja. Tällaisissa tilanteissa voidaan usein käyttää summamerkintää selkeyttämään tilannetta.
Määritelmä 1.2.6
Oletetaan, että \(n \in \N\) ja että \(a_{1},a_{2},a_{3}, \ldots a_{n} \in \R\). Summalle \(a_1 + a_2 + a_3 + \cdots + a_n\) määritellään summamerkintä eli lyhyemmin summa asettamalla
Se luetaan ”summa \(a_i\), jossa \(i\) käy 1:stä \(n\):ään”.
Summamerkintä voidaan määritellä seuraavasti:
Summaoperaattorin \(\sum\) vaikutusalueeksi sovitaan sitä välittömästi seuraava termi, jolloin summamerkinnän sisälle tarkoitettu lauseke päättyy silloin, kun vastaan tulee plus- tai miinusmerkki. Jos taas summa on tarkoitus ottaa plusmerkin sisältävästä lausekkeesta, laitetaan lauseke sulkuihin summausoperaattorin jälkeen. Jälkimmäisen kaavan voi siis kirjoittaa yhtäpitävässä muodossa seuraavasti.
Huomaa, että myös indeksöintiä voi tarvittaessa muuttaa.
Esimerkki 1.2.7
Tutkitaan ensimmäisten positiivisten kokonaislukujen neliöiden summaa. Kirjoitetaan muutama ensimmäisistä summista.
Tälle on olemassa myös yleinen summakaava
missä \(n \in \N\). Tämä voidaan osoittaa induktiolla, joka esitellään myöhemmin tässä luvussa matemaattisten todistamisen perusteiden yhteydessä.
Todistetaan seuraavaksi summan lineaarisuus.
Lause 1.2.8
Oletetaan, että \(n \in \N\) ja että \(a, b_1, b_2, \ldots, b_n, c_1, c_2, \ldots, c_n \in \R\). Tällöin summamerkintä on suljettu
skalaarilla kertomisen suhteen
\[\sum_{i=1}^{n} ab_{i} = a\sum_{i=1}^{n} b_{i},\]yhteenlaskun suhteen
\[\sum_{i=1}^{n} \left( b_{i} + c_{i} \right) = \sum_{i=1}^{n} b_{i} + \sum_{i=1}^{n} c_{i}.\]
Suoraan yhteen- ja kertolaskujen ominaisuuksien mukaisesti
Vastaavasti
Esimerkki 1.2.9
Oletetaan, että \(n \in \N\) ja että \(a_1, a_2, a_3, \ldots, a_n, a_{n+1} \in \R\). Osoita, että
Tämä on niin sanotun teleskooppisarjan osasumma.
Ryhmittelemällä summan termit uudelleen saadaan
Huomautus 1.2.10
Joskus summamerkinnässä voi indeksin ala- ja yläraja olla sellaiset, ettei ole mitään summattavaa tai kerrottavaa. Yleinen sopimus on, että tällainen tyhjä summa on \(0\). Erityisesti siis \(\sum_{i=1}^0 \ a_i = 0\).
Logiikan merkinnät¶
Ensimmäisenä tutustutaan joihinkin lauselogiikan ja predikaattilogiikan merkintöihin. Tarkoitus ei ole tutustua matemaattiseen logiikkaan tai sen merkintöihin tarkemmin vaan ottaa tarpeelliset merkinnät käyttöön ”lyhennemerkintöinä” ja esitellä niiden intuitiiviset tulkinnat. Tarkemmin logiikkaan ja tässä luvussa esiteltyihin merkintöihin tutustutaan kurssilla Diskreetti matematiikka.
Lauselogiikan merkinnöillä (näitä kutsutaan konnektiiveiksi) \(\land\), \(\lor\) ja \(\neg\) on seuraavat intuitiiviset tulkinnat:
Tässä monisteessä näitä merkintöjä käytetään erityisesti, kun esitetään ehtoja, joita joukon elementtien täytyy toteuttaa. Jos siis \(p\) ja \(q\) ovat väittämiä, niin
- \(p\land q\) tarkoittaa, että \(p\) ja \(q\) ovat molemmat totta.
- \(p\lor q\) tarkoittaa, että \(p\) tai \(q\) tai molemmat ovat totta.
- \(\neg p\) tarkoittaa, että \(p\) ei ole totta.
Huomautus 1.2.11
Matematiikassa sanalla tai on yllä oleva merkitys, ellei toisin mainita. Siis \(p\lor q\) tarkoittaa aina, että vähintään toinen väittämistä \(p\) ja \(q\) on voimassa. Arkikielessä on lisäksi toinenkin tulkinta, nimittäin \(p\lor q\) voisi tarkoittaa, että toinen väittämistä \(p\) ja \(q\) on voimassa, mutta ei molemmat. Lauseet ”liittymislahjaksi saat repun tai puseron” ja ”opiskelemaan pääsee, jos kirjoittaa laudaturin matematiikasta tai saa yli kymmenen pistettä pääsykokeesta” havainnollistavat tätä eroa.
Esimerkki 1.2.12
Mikä on seuraavien lausekkeiden tulkinta?
- \((x\in\N)\land(x>5)\)
- \((x<5)\lor (x>5)\)
- \(\neg(x=5)\)
- Lauseke sanoo, että \(x\) on luonnollinen luku ja \(x>5\), eli \(x\) on aidosti lukua viisi suurempi luonnollinen luku.
- Lauseke sanoo, että \(x<5\) tai \(x>5\). Tämän voi tulkita myös siten, että \(x\) on jokin viitosesta eroava luku.
- Lauseke sanoo, että ei ole niin, että \(x=5\). Siis tulkinta on, että \(x\) on jokin viitosesta eroava luku, eli sama tulkinta kuin edellisellä lausekkeella.
Huomautus 1.2.13
Monimutkaisemmissa lausekkeissa tarvitaan usein sulkuja ilmaisemaan missä järjestyksessä konnektiiveja tulkitaan. Sulkeet toimivat kuten laskutoimituksia sisältävissä lausekkeissa, eli sulkeiden sisällä olevat lausekkeen osat tulkitaan ensin. Lisäksi sovitaan, että \(\neg\) tulkitaan ennen konnektiiveja \(\land\) ja \(\lor\) (vrt. yhteen- ja kertolaskun laskujärjestys) ja muuten tulkinta tehdään vasemmalta oikealle. Tulkintajärjestyksellä on yleensä suuri vaikutus lausekkeen merkitykseen. Esimerkiksi
tarkoittaa, että \(x\) ei ole suurempaa kuin \(6\), mutta on aidosti suurempaa kuin \(5\). Siis \(5<x\leq 6\). Toisaalta
tarkoittaa, että ei ole niin, että \(x>6\) ja \(x>5\). Koska molemmat ehdoista \(x>5\) ja \(x>6\) ovat voimassa yhtä aikaa, kun \(x>6\), niin lauseke \(\neg ((x>6)\land (x>5))\) tarkoittaa, että \(x\leq 6\).
Merkinnöillä \(\Rightarrow\) ja \(\Leftrightarrow\) ilmaistaan kahden ehdon tai väittämän välisiä seuraussuhteita. Jos \(p\) ja \(q\) ovat väittämiä, niin meillä on seuraavat tulkinnat:
Huomaa, että mikäli väite \(p\) on väärä, niin tiedon \(p\Rightarrow q\) perusteella ei voida sanoa mitään väitteen \(q\) totuudesta. Demonstroidaan tätä ja loogisen ekvivalenssin tulkintaa seuraavalla esimerkillä.
Esimerkki 1.2.14
Voidaan kirjoittaa \(x>4\Rightarrow x>0\), sillä jos tiedetään, että \(x\) on nelosta suurempi luku, niin \(x\) on myös nollaa suurempaa. Tässä esimerkissä \(x>4\) ei ole voimassa, jos \(x=3\) tai \(x=-3\). Oikean puolen väittämä taas on totta arvolla \(x=3\), mutta epätosi arvolla \(x=-3\). Siis mikäli loogisen seurauksen vasen puoli ei päde, niin emme voi välttämättä sanoa mitään varmaa ilmaisun oikean puolen väittämän totuudesta.
Matemaattisissa teksteissä looginen ekvivalenssi \(p\Leftrightarrow q\) kirjoitetetaan usein luonnollisella kielellä myös muodossa \(p\) on totta, jos ja vain jos \(q\) on totta. Looginen ekvivalenssi \(p\Leftrightarrow q\) voidaan kirjoittaa myös muodossa
Siis kaksi väitettä ovat loogisesti ekvivalentit, mikäli ne ovat toistensa loogisia seurauksia. Tätä kutsutaan ekvivalenssilaiksi ja sen takia haluttaessa osoittaa, että kaksi väitettä ovat loogisesti ekvivalentit, jaetaan todistus usein kahden loogisen seurauksen todistukseksi. Demonstroidaan loogisen ekvivalenssin tulkintaa ja tässä esitettyjä huomioita seuraavalla esimerkillä.
Esimerkki 1.2.15
Emme voi kirjoittaa, että \(x>4\Leftrightarrow x>0\), koska Esimerkin 1.2.14 perusteella \(x>4\) ei välttämättä seuraa siitä, että \(x>0\). Seuraava lause sen sijaan on tosi
Vaikka tämä voi tuntua itsestään selvältä, niin perustellaan tämä vielä kahdessa osassa. Ensinnäkin, jos väittämä \(x\in\N \land x>4\) on voimassa, niin \(x\) on luonnollinen luku, joka on aidosti neljää suurempi. Koska pienin luonnollinen luku, joka on aidosti suurempaa kuin \(4\) on \(5\), niin \(x\in\N\land x\geq 5\) on voimassa mikäli \(x\in\N \land x>4\) on voimassa. Siis \((x\in\N \land x>4)\Rightarrow (x\in\N\land x\geq 5)\).
Jos taas \(x\in\N\land x\geq 5\), niin luonnollinen luku \(x\) on viisi tai suurempaa. Siis se varmasti on luonnollinen luku, joka on suurempi kuin neljä, eli \(x\in\N\land x>4\) on voimassa mikäli \(x\in\N \land x\geq 5\) on voimassa, eli \((x\in\N \land x\geq 5)\Rightarrow (x\in\N\land x>4)\).
Koska on huomattu, että
niin voidaan todeta, että \((x\in\N \land x\geq 5)\Leftrightarrow (x\in\N\land x>4)\).
Lopuksi tutustutaan vielä predikaattilogiikan kvanttoreihin \(\exists\) ja \(\forall\), joiden avulla voidaan ilmaista onko jokin alkio olemassa tai onko jokin ominaisuus voimassa kaikilla alkioilla. Jos \(P(x)\) on jokin alkiosta \(x\) riippuva väite, esim. \(x>5\) tai \(x\in A\), niin meillä on kvanttoreille seuraavat tulkinnat
Jos \(x\) valitaan erityisesti joukosta \(A\), voidaan merkitä myös \(\forall x \in A : P(x)\) ja \(\exists x \in A : P(x)\).
Esimerkki 1.2.16
Ovatko seuraavat väittämät tosia?
- \(\forall x \in \R : x < 3\)
- \(\exists x \in \R : x < 3\)
- \(\forall x \in \N : x \geq -7\)
- Tässä väitetään, että jokainen reaaliluku on pienempi kuin \(3\). Kuitenkin \(4 \in \R\) ja \(4 \geq 3\), joten lause on epätosi.
- Väitetään, että on olemassa sellainen reaaliluku \(x\), että \(x < 3\). Luku \(2 \in \R\) ja \(2 < 3\), joten lause on tosi.
- Väitetään, että jokainen luonnollinen luku on vähintään yhtä suuri kuin \(-7\). Pienin luonnollinen luku on \(1 \geq -7\), joten lause on tosi.
Samassa lauseessa voi esiintyä useampia kvanttoreita, jolloin niiden merkitykset luetaan peräkkäin. Peräkkäisiä kvanttoreita käyttäen saadaan ilmaistua monimutkaisia väittämiä täsmällisesti, kun taas ilman kvanttoreita lauseista voisi tulla pitkiä ja vaikeaselkoisia. Useita kvanttoreita sisältävien väittämien totuusarvojen tutkiminen voi olla hankalaa.
Esimerkki 1.2.17
- Väite \(\forall x \in \R \ \exists n \in \N : n > x\) tarkoittaa ilmausta ”jokaista reaalilukua \(x\) kohti löydetään sellainen luonnollinen luku \(n\), että \(n > x\)”. Väite on tosi.
- Väite \(\exists n \in \N \ \forall x \in \R : n > x\) tarkoittaa ilmausta ”on olemassa sellainen luonnollinen luku \(n\), että \(n > x\) jokaiselle reaaliluvulle \(x\)”. Väite on epätosi.
Edellisen esimerkin nojalla kvanttorien järjestystä ei saa vaihtaa. Kvanttoreiden avulla ilmaistujen lauseiden tulkinta helpottuu, kun ne ilmaistaan luonnollisella kielellä. Siksi on suositeltavaa, että tällaisten lauseiden yhteydessä ne ilmaistaan luonnollisella kielellä ennen niiden käsittelyn jatkamista.
Hyvä esimerkki luonnollisen kielen hyödyntämisestä on se, miten kvanttorit ja negaatio toimivat yhdessä järkeenkäyvällä tavalla.
Lause 1.2.18
Loogiset ekvivalenssit \(\neg(\forall x : P(x)) \Leftrightarrow \exists x : \neg P(x)\) ja \(\neg (\exists x : P(x)) \Leftrightarrow \forall x : \neg P(x)\) ovat voimassa.
Lauseen 1.2.18 voi ilmaista luonnollisella kielellä niin, että kvanttorin kanssa esitetyn lausekkeen negaatio on lauseke, jossa kvanttori on vaihdettu (kvanttori \(\forall\) korvataan kvanttorilla \(\exists\) tai toisinpäin) ja kvanttorin jälkeisestä lausekkeesta otettu negaatio. Lisäksi jos ei löydy sellaista alkiota \(x\), jolla väite \(P(x)\) olisi tosi, eli \(\neg(\exists x : P(x))\), lyhennetään tämä joskus merkinnäksi \(\nexists x : P(x)\).
Esimerkki 1.2.19
Lause \(\exists x \in \R : x^2 < 0\) on tunnetusti epätosi, joten sen negaation olisi oltava tosi. Muodostetaan lauseen negaatio vaihtosäännön avulla.
\[\neg(\exists x \in \R : x^2 < 0) \Leftrightarrow \forall x \in \R : \neg(x^2 < 0) \Leftrightarrow \forall x \in \R : x^2 \geq 0\]Nähdään, että negaatio on todellakin tosi.
Muodostetaan esimerkin 1.2.17 epätoden lauseen negaatio.
\[\begin{split}\begin{aligned} \lnot(\exists n\in\N\ \forall x\in\R : n>x) &\Leftrightarrow \forall n\in\N\ \lnot(\forall x\in\R : n>x)\\ &\Leftrightarrow \forall n\in\N\ \exists x\in\R : \lnot(n>x)\\ &\Leftrightarrow \forall n\in\N\ \exists x\in\R : n\le x. \end{aligned}\end{split}\]Tämä väite on puolestaan tosi.