I. Hafner, Logika (izbirni predmet, 9. razred)
Ugotovi resničnostno vrednost danih stavkov, podanih v 2 svetovih
Test A

1. majhen(D) ↔ ¬bel(B)
2. majhen(A) ↔ ¬kvadrat(A)
3. kvadrat(C) → ¬majhen(A)
4. majhen(B) ⊻ ¬velik(B)
5. majhen(D) → kvadrat(D)
6. ¬srednje velikosti(D) → ¬velik(B)
7. majhen(D) ⊻ srednje velikosti(D)
8. bel(A) ⊻ srednje velikosti(C)
9. trikotnik(B) ↔ ¬bel(B)
10. velik(C) → srednje velikosti(C)
11. ¬(¬siv(C) ∧ ¬petkotnik(D))
12. ¬(¬majhen(D) → velik(A))
13. ¬(srednje velikosti(D) ⊻ majhen(C))
14. ¬(petkotnik(A) → ¬petkotnik(B))
15. ¬(siv(D) ∧ ¬bel(C))
16. ¬(¬kvadrat(D) ⊻ bel(B))
17. ¬(¬velik(B) ⊻ srednje velikosti(A))
18. ¬(¬siv(D) ↔ majhen(B))
19. ¬(¬petkotnik(B) ↔ ¬srednje velikosti(C))
20. ¬(velik(A) ∨ bel(A))

Created by Mathematica  (August 7, 2005)