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)