计算题 在一阶逻辑中讲命题符号化：发明家都是聪明的并且是勤劳的，王前进是发明家，所以，王前进是聪明的并且是勤劳的。