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

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

Created by Mathematica  (August 9, 2005)