假定个体域为所有人组成的集合，在谓词逻辑中符号化下列命题，并用构造法证明以下推理的有效性：每个学生或是勤奋的或是聪明的，所有勤奋的人都会有所作为，并非每个学生都有所作为，所以有些学生是聪明的。
举一反三
- 假定个体域为所有人组成的集合，在谓词逻辑中符号化下面命题：并非每个学生都有所作为。
- 利用谓词逻辑的自然演绎推理验证下面的推理： 每个学生或者是勤奋的或者是聪明的，所有勤奋的学生都会有所作为，并非每个学生都有所作为，所以有些学生是聪明的. 令 S(x)：x是学生， D(x)：x是勤奋的， C(x)：x是聪明的， H(x)；x是有所作为的 [br][/br] （1）写出前提和结论公式 （2）演绎推理过程
- 假定个体域为所有人组成的集合，在谓词逻辑中符号化下面命题：有些学生，是聪明的。
- 假定个体域为所有人组成的集合，在谓词逻辑中符号化下面命题：并非每个人都喜欢骑自行车。
- 假定个体域为所有人组成的集合，在谓词逻辑中符号化下面命题：有些人不喜欢步行。