Ülesannete kogu: {$task->collection->name}
Ülesanne {$task->order->pos}. {$task->getTypeHeading()}
Kas valem on samaselt tõene?
Valem on samaselt tõene, sest ...
... valem on tõene igal väärtustusel.
... valem on väär igal väärtustusel.
Valem pole samaselt tõene, sest ...
... valem on tõene igal väärtustusel.
... valem on väär igal väärtustusel.
Kas valem on kehtestatav?
Valem on kehtestatav, sest ...
... valem on tõene igal väärtustusel.
... leidub väärtustus, mil valem on tõene.
Valem pole kehtestatav, sest ...
... valem on tõene igal väärtustusel.
... leidub väärtustus, mil valem on tõene.
Kas valemid on samaväärsed?
Valemid on samaväärsed, sest ...
... valemitel on ühesugune tõeväärtuste hulk.
Valemid pole samaväärsed, sest ...
... valemitel on ühesugune tõeväärtuste hulk.
Kas esimesest valemist järeldub teine?
Esimesest valemist järeldub teine, sest ...
... leidub väärtustus, kus 1. valem on väär ja 2. valem on tõene.
... ei leidu väärtustust, kus 1. valem on tõene ja 2. valem on väär.
... leidub väärtustus, kus 1. valem on tõene ja 2. valem on väär.
Esimesest valemist ei järeldu teine, sest ...
... leidub väärtustus, kus 1. valem on väär ja 2. valem on tõene.
... ei leidu väärtustust, kus 1. valem on tõene ja 2. valem on väär.
... leidub väärtustus, kus 1. valem on tõene ja 2. valem on väär.
Näidake valemi väärtuste veerg!
Selleks klikkige hiirega vastava veeru peal.
Näidake mõlema valemi väärtuste veerg!
Selleks klikkige hiirega vastavate veergude peal.