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

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

Created by Mathematica  (August 7, 2005)