I'm practicing exam questions for the exam in january and would like to know if my reasoning is sound and the answers correct. I've formatted the correct answers in bold.
Which propositions are true? Recall that the symbol | means “divides”
Svar 1.a: ∀n ∈ Z: 2n > n + 2 : wrong as 2*-2 is not greater than -2 + 2 = 0.
Svar 1.b: ∃n ∈ Z: 2 | (3n + 1) : 2 does divide n = 3 in the expression 2 | (3n + 1)
Svar 1.c: ∃k ∈ Z: ∀n ∈ Z: n = kn : Taking k = 0 makes the expression true.
- Svar 1.d: ∃k ∈ Z: ∀n ∈ Z: 2 | (n + k) : No because adding 1 would turn an even n into an uneven which 2 does not divide etc.
- Svar 1.e: ∀n ∈ Z: ∀k ∈ Z: (n > k ∨ k ≥ n) : Is false for all n.