Утверждение «Если (a \in N), то (a \in Z)» верно, так как множество натуральных чисел является подмножеством множества целых чисел.