假定个体域为所有人组成的集合，在谓词逻辑中符号化下面命题：有些学生，是聪明的。
解：令[tex=2.0x1.357]fbdUUCXHk57uBpBYoaX+4A==[/tex]：[tex=0.571x0.786]yPNTqDbsbi+W1HJQhfGL3Q==[/tex]是学生，[tex=2.214x1.357]juuZmsdKbCCxHIBU5qz5Mg==[/tex]：[tex=0.571x0.786]yPNTqDbsbi+W1HJQhfGL3Q==[/tex]是勤奋的，[tex=2.071x1.357]qSV/O3c1wh7DvKKoN0o9fw==[/tex]：[tex=0.571x0.786]yPNTqDbsbi+W1HJQhfGL3Q==[/tex]是聪明的，[tex=2.214x1.357]rr5yURx2fGW1PaJtzVynzg==[/tex]：[tex=0.571x0.786]yPNTqDbsbi+W1HJQhfGL3Q==[/tex]是有所作为的，则所给命题符号化为：[tex=6.643x1.357]2Ef4eixiy7K1aePpSGsX7nVb95UJyxGoug3CTQEYWyE=[/tex]。
举一反三
内容
- 0
在一阶逻辑中将下面命题符号化，并分别讨论个体域限制为（a）、（b）条件时命题的真值：（1）凡有理数都能被2整除（2）有的有理数能被2整除其中（a）个体域为有理数集合（b）个体域为实数集合
- 1
在谓词逻辑中符号化下面命题：姚明是NBA球员，杨利伟去过太空。
- 2
在谓词逻辑中符号化下面命题：没有跑得同样快的两只兔子。
- 3
在谓词逻辑中符号化下面命题：不管黑猫白猫，抓住老鼠就是好猫。
- 4
在一阶逻辑中将下面命题符号化：有人爱看小说。