举一反三
- 证明[tex=2.5x1.143]TBygZ2yTwML3Lo+RYhKWgg==[/tex]是合数,如果[tex=0.571x0.786]c59+3vo0/Vn/FvNRhDRu5g==[/tex]和[tex=0.929x0.786]D9maNLyVVGrC3QbL9jjRWg==[/tex]是大于1的整数且[tex=0.929x0.786]D9maNLyVVGrC3QbL9jjRWg==[/tex]是奇数。
- 证明:若 [tex=0.929x0.786]VF0GLe2VBE/4VKNzpyOfFg==[/tex]是奇数,则 [tex=6.429x1.357]lwn1QerQj4Rc6NmGOU4ahMo+YYFywryfmQv+99ywSdw=[/tex]
- 用主析取范式法判断推理是否正确[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex]不是偶数或 [tex=0.929x0.786]VF0GLe2VBE/4VKNzpyOfFg==[/tex]不是奇数[tex=0.929x0.786]RPwlYg1A6N5l9gxJmL7JOg==[/tex] 是偶数.所以[tex=1.357x1.0]MPeHZ+AzQmBMirPjvMGrKA==[/tex] 不是奇数.
- 在自然推理系统[tex=0.643x1.0]WUJ/JHItsc3Bqx1WYNJcrg==[/tex]中,构造用自然语言描述的推理.[br][/br]若[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex]是偶数并且大于[tex=0.786x1.214]hctFuAwdzkU1XrlBRW3oOg==[/tex]则 [tex=0.929x0.786]VF0GLe2VBE/4VKNzpyOfFg==[/tex] 是奇数.只有[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex] 是偶数[tex=1.357x1.0]stOkjUmziuUZG7U0d1MHIg==[/tex]才大于 [tex=1.429x1.0]gNofNvDDokmtTWmtjG5CHw==[/tex] 大于[tex=0.786x1.0]1NVmtfpr/AS3hsvU8av8uA==[/tex] 所以,若 [tex=0.929x0.786]VF0GLe2VBE/4VKNzpyOfFg==[/tex]大于 6, 则[tex=0.929x0.786]VF0GLe2VBE/4VKNzpyOfFg==[/tex] 是奇数.
- 用 3 种方法(真值表法,等值演算法,主析取范式法)证明下面推理是正确的. 若 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]是奇数,则 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 不能被 2 整除.若[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 是偶数,则 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 能被 2 整除.因此,若[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]是偶数,则 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]不是奇数.
内容
- 0
用归谬法证明定理“如果[tex=2.429x1.143]iYaM6mXHRcXGx9kzFAhMgQ==[/tex]是奇数,则[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]是奇数”。
- 1
一棵满[tex=0.929x0.786]D9maNLyVVGrC3QbL9jjRWg==[/tex]叉树[tex=0.786x1.0]TkWiaIfselaE0uOF2JDYag==[/tex]有81个树叶并且高度为4。若[tex=0.786x1.0]TkWiaIfselaE0uOF2JDYag==[/tex]也是平衡的,则[tex=0.929x0.786]D9maNLyVVGrC3QbL9jjRWg==[/tex]是多少?
- 2
如果X满足[tex=1.0x1.214]uDLq1pltx8bidzPpXavtVw==[/tex]公理和[tex=1.0x1.214]HSZQQmMoQLPTE8orMMvtgA==[/tex]公理,则也满足[tex=1.0x1.214]9/dZqDJTFQ9zWNw2dnPh4g==[/tex]公理。
- 3
将下面命题符号化:若[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]和[tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex]是奇数,则[tex=1.786x1.143]+JWM/sEBO49/oaEmZ4MdCQ==[/tex]是偶数。
- 4
试证:若[tex=0.929x0.786]VF0GLe2VBE/4VKNzpyOfFg==[/tex] 是偶数,则模[tex=0.929x0.786]VF0GLe2VBE/4VKNzpyOfFg==[/tex]的任一组完全剩余系中一定一半是 偶数,一半是奇数.