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

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

Created by Mathematica  (August 7, 2005)