一阶逻辑

一阶逻辑第四章 一阶逻辑1. 用谓词表达式写出下列命题: (1) 王文不是学生; (2) 2是素数且是偶数; (3) 若m是奇数,则2m不是奇数; (4) 河北省南接河南省; (5) 若2大于3.则2