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

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

Created by Mathematica  (August 9, 2005)