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

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

Created by Mathematica  (August 7, 2005)