Tehtävä:
Lausekkeisiin liittyviä käsitteitä
Lyhyt
MathCheck-ohje (uuteen välilehteen)
Kun kirjoitat oikealla ylhäällä olevaan vastauslaatikkoon lausekkeen ja
klikkaat nappia, MathCheck piirtää lausekepuun.
Selvitä kokeilemalla vastaukset seuraaviin tehtäviin.
Ei haittaa, jos et vielä tunne loogisia operaattoreita.
Tehtävät on tarkoitus ratkaista keksimällä testitapauksia ja kokeilemalla
mitä niillä tapahtuu, ja sen kannalta on pedagogisesti vain eduksi, jos
vastaaja ei tiedä etukäteen mitä tulisi tapahtua.
Loogisten operaattoreiden argumentteina voi käyttää FF eli `sf(F)`
ja TT eli `sf(T)` sekä vertailuja.
Mitkä seuraavista ovat oikealle liitännäisiä?
ok_text Teit oikeat valinnat!
only_no_yes_on hide_expr 0 = hide_expr 2
tai
Mitkä seuraavista ovat konjunktionaalisia, eli `x diamond y diamond z` ei ole
syntaksivirhe, mutta kumpikaan `diamond` ei ole toiselle alisteinen?
ok_text Teit oikeat valinnat!
only_no_yes_on hide_expr 0 = hide_expr 2
tai
Tässä voit kokeilla aritmeettisia yhtäsuuruuksia.
Korvaa x :t haluamillasi aritmeettisilla lausekkeilla.
ok_text
Ovat yhtäsuuret tai molemmat ovat määrittelemättömät kaikilla muuttujien
arvoilla, joilla testasin.
x
= x
tai
Tässä voit kokeilla totuusarvojen yhtäsuuruuksia.
Korvaa P :t haluamillasi propositiologiikan lausekkeilla, joissa voi
esiintyä muuttujia, totuusarvovakioita, sulkuja ja tutkittavia operaattoreita.
ok_text Ovat loogisesti yhtäpitävät.
prop_logic
P
<=> P
tai
Mitkä seuraavista ovat liitännäisiä, ts. `(x diamond y) diamond z` tuottaa
saman arvon kuin `x diamond (y diamond z)`?
ok_text Teit oikeat valinnat!
only_no_yes_on hide_expr 0 = hide_expr 5
tai
ok_text Teit oikeat valinnat!
only_no_yes_on hide_expr 0 = hide_expr 6
Valitse yläriville ne operaattorit, jotka sitovat voimakkaimmin; toiselle
riville ne operaattorit, jotka sitovat toiseksi voimakkaimmin; jne.
Jos kaksi operaattoria sitoo yhtä voimakkaasti, valitse ne samalle riville.
tai
ok_text Teit oikeat valinnat!
only_no_yes_on hide_expr 0 = hide_expr 5
Valitse yläriville ne operaattorit, jotka sitovat voimakkaimmin; toiselle
riville ne operaattorit, jotka sitovat toiseksi voimakkaimmin; jne.
Jos kaksi operaattoria sitoo yhtä voimakkaasti, valitse ne samalle riville.
tai
ok_text Teit oikeat valinnat!
only_no_yes_on hide_expr 0 = hide_expr 2
Valitse ne binäärioperaattorit, jotka sitovat heikommin kuin unaari
- .
tai
Eiköhän tässä ollut riittävästi puuhaa!