MathCheck Propositiologiikkamoodi

Väite voi olla määrittelemätön.

`sqrt(-3) ne 0`, kun puhutaan reaaliluvuista
`A[6] > 0`, jos `A` indeksoidaan 1,…,5
`AA x: x ne 0 rarr x * 1/x = 1` tarkoittaa samaa kuin `AA x: x * 1/x = 1 vv x = 0`

Määrittelemätöntä koskevien sääntöjen opettelemiseksi propositiologiikkamoodissa voidaan käyttää myös kolmiarvologiikkaa.

Yhtälön ratkaisu-, taulukkoväite- ja moduloaritmetiikkamoodissa voidaan käyttää vain kolmiarvologiikkaa.

MathCheck tarkastaa vastauksen kattavasti kokeilemalla kaikki vaihtoehdot.

Opiskelija voi käyttää tätä moodia ilman mallivastausta.