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

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

Created by Mathematica  (August 9, 2005)