分别在整数集合[tex=0.643x1.0]UOEtelDFT4PKwSr01e5NKg==[/tex]和实数集合[tex=0.786x1.0]3ahlccWBLQgdWj6c4Qf0BA==[/tex]中，确定命题“所有整数是有理数”中的谓词。
举一反三
- 下列代数系统[tex=2.643x1.357]ceH+eYnXqUT340bMKzk9Jw==[/tex]中，其中[tex=0.786x1.071]sISe4zlsm5XRzMPtQa+aFQ==[/tex]是普通加法运算，试说明哪几个不是群.（1）[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]为整数集合； （2）[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]为偶数集合；（3）[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]为有理数集合； （4）[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]为自然数集合.
- 整数集合[tex=0.643x1.0]UOEtelDFT4PKwSr01e5NKg==[/tex]上的关系[tex=14.429x1.286]+SztMeml7tanTmeD9NGsbHI2qejRNVbAXlrY09kOe+ahlRz1dOEZahwRFpe8KdqlIu/aeKFcXPq3nqRV3A5IMA==[/tex]，试说明[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的传递闭包[tex=1.929x1.357]KfS7MTXdsNl0ppFUCI+fCA==[/tex]是小于关系“[tex=0.786x0.929]p0ObV0KAdpUzxvPP4rkaRQ==[/tex]”。
- 在一阶逻辑中将下列命题符号化，并指出各命题的真值，个体域分别为(a) 自然数集合[tex=0.929x1.0]o5CCejFUJawrDP6FgRcr0Q==[/tex]([tex=0.929x1.0]o5CCejFUJawrDP6FgRcr0Q==[/tex]中含0)；(b) 整数集合[tex=0.714x1.0]brI7uIQroF8uwjq6zP5VOw==[/tex]；(c) 实数集合[tex=0.929x1.0]YOmo6upctPnzQSSEv5I0qA==[/tex]。存在[tex=0.571x0.786]ZKO2xs0EgSemzoH7MSmYTA==[/tex]，使得[tex=2.357x1.0]sfaVTRIrha+ypcopcfcwHA==[/tex]。
- 在一阶逻辑中将下列命题符号化，并指出各命题的真值，个体域分别为(a) 自然数集合[tex=0.929x1.0]o5CCejFUJawrDP6FgRcr0Q==[/tex]([tex=0.929x1.0]o5CCejFUJawrDP6FgRcr0Q==[/tex]中含0)；(b) 整数集合[tex=0.714x1.0]brI7uIQroF8uwjq6zP5VOw==[/tex]；(c) 实数集合[tex=0.929x1.0]YOmo6upctPnzQSSEv5I0qA==[/tex]。存在[tex=0.571x0.786]ZKO2xs0EgSemzoH7MSmYTA==[/tex]，使得[tex=3.143x1.143]f700eR4yT5OYAnrfaB7KQQ==[/tex]。[br][/br]
- 在实数集合[tex=0.929x1.0]CsWCAOxbxbvo3bJoGMwrfw==[/tex]中证明下列推理的有效性：因为[tex=0.929x1.0]CsWCAOxbxbvo3bJoGMwrfw==[/tex]中存在自然数，而所有自然数是整数，所以[tex=0.929x1.0]CsWCAOxbxbvo3bJoGMwrfw==[/tex]中存在整数。