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

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

Created by Mathematica  (August 7, 2005)