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

Created by Mathematica  (August 9, 2005)