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

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

Created by Mathematica  (August 7, 2005)