Negasi “ada \(N\in\Z^+\) dengan \(N\gt x\)” adalah “untuk setiap \(N\in\Z^+\text{,}\) \(N\leq x\text{.}\)”