|
|
|
Lahendatav kuni | Lahendatav 50% jaoks kuni | |
| SML04-test1. Sissejuhatus lausearvutusse |
||||
| SML04-test2. Järeldumine. Normaalkujud |
||||
| SML04-test3. Predikaadid ja kvantorid |
||||
| SML04-test4. |
||||
| SML04-test5 |
||||
| SML04-test6 .Tuletusreeglid |
||||