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

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

Created by Mathematica  (August 7, 2005)