用3种方法（真值表法，等值演算法，主析取范式法）证明下面推理是正确的：
若a是奇数，则a不能被2整除。若a是偶数，则a能被2整除。因此，如果a是偶数，则a不是奇数。