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

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

Created by Mathematica  (August 7, 2005)