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

问答题 如果允许立方体在空间任意转动，用n种颜色着色立体方的6个面，证明：不同的着色方案数是

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