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

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

Created by Mathematica  (August 7, 2005)