设[tex=2.071x1.357]5Sj+AGPVhm8LzYw5/BUunQ==[/tex]是命题函数。确定对哪些正整数[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex],命题[tex=2.071x1.357]5Sj+AGPVhm8LzYw5/BUunQ==[/tex]必为真，验证你的答案，如果[tex=1.929x1.357]HLA0asktgGYI3TfgczO46Q==[/tex]和[tex=1.929x1.357]/Z+KAXQdTtKzlZP+X9dldw==[/tex]为真;对所有的正整数[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]，如果[tex=2.071x1.357]5Sj+AGPVhm8LzYw5/BUunQ==[/tex]和[tex=3.357x1.357]T7IewsUYX8YOPoJskJphTw==[/tex]为真，那么[tex=3.357x1.357]+szdHHe/LMLJAWIJxgNmDQ==[/tex]为真。
举一反三
- 设[tex=2.071x1.357]5Sj+AGPVhm8LzYw5/BUunQ==[/tex]是命题函数。确定对哪些正整数[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex],命题[tex=2.071x1.357]5Sj+AGPVhm8LzYw5/BUunQ==[/tex]必为真，验证你的答案，如果[tex=1.929x1.357]HLA0asktgGYI3TfgczO46Q==[/tex]为真;对所有的正整数[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]，如果[tex=2.071x1.357]5Sj+AGPVhm8LzYw5/BUunQ==[/tex]为真，那么[tex=2.571x1.357]WRfWYJqqZeVWNbOVxIVd3Q==[/tex]为真。
- 设[tex=2.071x1.357]5Sj+AGPVhm8LzYw5/BUunQ==[/tex]是命题:对正整数[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]而言，[tex=14.929x1.5]D5Qz6kiGZkBOb1DFZRboxqh7vBqIbibINFiBFpeWELTDQ6L2aCz+uiZLV8sgQo0C[/tex]。证明[tex=1.929x1.357]HLA0asktgGYI3TfgczO46Q==[/tex]为真，完成基础步骤的证明。
- 证明命题[tex=1.929x1.357]47XfLFtEWz4ztn9gHg44pg==[/tex],其中[tex=2.071x1.357]5Sj+AGPVhm8LzYw5/BUunQ==[/tex]是命题“如果[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]是个大于1的正整数，则[tex=2.929x1.286]YM291jv2/G54zSw03IbRwA==[/tex]”。你使用什么类型的证明方法?
- 设[tex=2.071x1.357]5Sj+AGPVhm8LzYw5/BUunQ==[/tex]是命题“如果[tex=0.571x0.786]c59+3vo0/Vn/FvNRhDRu5g==[/tex]和[tex=0.429x1.0]JThLUuJ8WswSAPiYZWihWg==[/tex]是正实数，则[tex=7.0x1.357]W/SVc1ozfw1W+YWSfNotaBmyKUtZjKAFs9h2Enylit0=[/tex]"。 证明[tex=1.929x1.357]HLA0asktgGYI3TfgczO46Q==[/tex]为真。你使用什么类型的证明方法?
- 证明:如果能够证明如下命题，那么就可以证明:对所有的正整数[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]和[tex=0.571x1.0]CQkpoDeAAI+5FKIfe1wVCA==[/tex]，[tex=2.857x1.357]x53ByXNSe9QoR8aqSxOunQ==[/tex]为真。寸所有的正整数[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex],[tex=2.857x1.357]POAjp+5h8A3b5suxtWLtKw==[/tex]为真，且对所有的正整数[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]和[tex=0.571x1.0]CQkpoDeAAI+5FKIfe1wVCA==[/tex], [tex=7.929x1.357]0dcb1Sn642lu4eYwYSzkT1wcd9hINqToI94mijo01r8=[/tex]为真。