在实数集合[tex=0.929x1.0]CsWCAOxbxbvo3bJoGMwrfw==[/tex]中证明下列推理的有效性：因为[tex=0.929x1.0]CsWCAOxbxbvo3bJoGMwrfw==[/tex]中存在自然数，而所有自然数是整数，所以[tex=0.929x1.0]CsWCAOxbxbvo3bJoGMwrfw==[/tex]中存在整数。
举一反三
- 设[tex=0.929x1.0]CsWCAOxbxbvo3bJoGMwrfw==[/tex]是实数集合，[tex=0.929x1.0]CsWCAOxbxbvo3bJoGMwrfw==[/tex]关于数的乘法运算“[tex=0.357x0.786]3p9iFfA+hJQ9w74wku7eHg==[/tex]”能构成( )。
- 证明: 实数域 [tex=0.929x1.0]CsWCAOxbxbvo3bJoGMwrfw==[/tex] 作为它自身上的线性空间与线性空间 [tex=0.929x1.0]CsWCAOxbxbvo3bJoGMwrfw==[/tex]. 同构.
- 判断实数集合[tex=0.929x1.0]CsWCAOxbxbvo3bJoGMwrfw==[/tex]上的下列关系能否构成函数：[tex=10.929x1.571]nZvl1nA3gFko0pw2V93hNu7s9SvgBC+zFdumT0WT1RRLAtaz852HtdjNklhBsng6E3tXZfyRL4XAOCQL84utiA==[/tex]。
- 判断实数集合[tex=0.929x1.0]CsWCAOxbxbvo3bJoGMwrfw==[/tex]上的下列关系能否构成函数：[tex=10.643x1.571]nZvl1nA3gFko0pw2V93hNu7s9SvgBC+zFdumT0WT1RRofmwnXJEawOKwhsTVMGfvHnDBEi9ykJZ28x5Dd8nSsQ==[/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]。