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

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

Created by Mathematica  (August 7, 2005)