问答题 在一阶逻辑中，将命题“不存在能表示成分数的无理数”符号化。

问答题 在一阶逻辑中，将命题“实数不都是有理数”符号化。

问答题 在一阶逻辑中将命题“发明家都是聪明的并且是勤劳的。王前进是发明家，所以，王前进是聪明的并且是勤劳的”符号化。