1) ∀ n ∈ N: n - простое. Утверждение ложно, например, для n = 10. ∃ n ∈ N: ¬ (n -простое).
2) ∀ k ∈ N: k < k2. Неверно, например, при k = 1. ∃ k ∈ N: ¬ (k < k2).
3) ∀ a, b ∈ N: НОД(а,b) = 1. Ложно, например, для а = 100, d = 10. ∃ [∀ а, b ∈ N: НОД(а,b) = 1]
4) ∀ х, у ∈ R: (х - у)2 ≠ х2 - у2 (R -множество всех чисел). Ложно, например, для х = 5, у = 5. ∃ x, y ∈ R: ∃ (х – у)2 ≠ х2 - у2.
5) ∃ n ∈ N: n3 = 3. Ложно, т.к. 13 = 1; 23 = 8; а для n > 2n3 > 8. ∀ n ∈ N: ¬ (n3 = 3)
6) ∃ k ∈ N: k2 > k3.
Сократим обе части неравенства на положительное число k2, знак неравенства от этого не изменится. Получим: 1 > k, но таких натуральных чисел не существует.
∀ k ∈ N: ¬ (k2 > k3).
7) ∃ a, b ∈ N: НОК(а, b) = а - b.
¬ [∃ a, b ∈ N: НОК(а, b) = а - b.
8) ∃ x, y ∈ R: (х + у)2 ≠ х2 + 2ху + у2 (R - множество всех чисел). Ложно, т.к. высказывание (х + у)2 = х2 + 2ху + у2 является законом. ∀ x, y ∈ R: ¬ [(х + у )2 ≠ х2 + 2ху + у2).