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

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

Created by Mathematica  (August 9, 2005)