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

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

Created by Mathematica  (August 9, 2005)