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

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

Created by Mathematica  (August 7, 2005)