Grūtības pakāpe:
00:16:00
| 1. | Definīcijas matemātiskājā loģikā | 1 p. |
| 2. | Spriedumi | 1 p. |
| 3. | Izteikumi | 1 p. |
| 4. | Salikti izteikumi | 1 p. |
| 5. | Teorēmas | 3 p. |