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

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

Created by Mathematica  (August 9, 2005)