I. Hafner, Kleenejeva trovrednostna logika
Ugotovi resničnostno vrednost danih stavkov, podanih v 2 svetovih
Test A

1. Lik A je srednje velikosti.
2. Lik A je velik.
3. Lik A je srednje velikosti.
4. Lik B je bel.
5. Lik D ni kvadrat ali lik D ni trikotnik.
6. Lik D je trikotnik, če in  samo če  je lik A majhen.
7. Lik B je majhen in lik C je velik.
8. Ali  je lik D bel ali lik D ni petkotnik.
9. Lik C je bel in lik C ni trikotnik.
10. Ali lik D ni kvadrat ali  je lik C petkotnik.
11. Ali lik B ni trikotnik ali  je lik A siv.
12. Ali lik B ni kvadrat ali  je lik D srednje velikosti.
13. Lik A ni trikotnik in lik D ni siv.
14. Ali lik D ni srednje velikosti ali lik A ni srednje velikosti.
15. Ni res, da: lik A ni srednje velikosti, če in  samo če lik B ni velik.
16. Ni res, da: ali lik D ni kvadrat ali lik C ni kvadrat.
17. Ni res, da: lik A je trikotnik ali  je lik C trikotnik.
18. Ni res, da: lik C ni siv in lik A ni siv.
19. Ni res, da: lik A je majhen, če in  samo če  je lik B trikotnik.
20. Ni res, da: lik A je siv ali lik D ni bel.

Created by Mathematica  (August 9, 2005)