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

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

Created by Mathematica  (August 9, 2005)