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

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

Created by Mathematica  (August 9, 2005)