• 1. 如果a是自然数，那么（a+2）是偶数。