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

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

Created by Mathematica  (August 7, 2005)