習題1.4
1．證明下面的謂詞是可判定的：
（1）“x＜y”；
（2）“x≠3”；
（3）“x是偶數”.