试证:若[tex=0.929x0.786]VF0GLe2VBE/4VKNzpyOfFg==[/tex] 是偶数,则模[tex=0.929x0.786]VF0GLe2VBE/4VKNzpyOfFg==[/tex]的任一组完全剩余系中一定一半是 偶数,一半是奇数.
举一反三
- 证明：若 [tex=0.929x0.786]VF0GLe2VBE/4VKNzpyOfFg==[/tex]是奇数，则 [tex=6.429x1.357]lwn1QerQj4Rc6NmGOU4ahMo+YYFywryfmQv+99ywSdw=[/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] 是奇数.
- 用主析取范式法判断推理是否正确[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] 不是奇数.
- [br][/br]设 [tex=0.929x0.786]VF0GLe2VBE/4VKNzpyOfFg==[/tex] 是大于 1 的整数,证明不大于 [tex=0.929x0.786]VF0GLe2VBE/4VKNzpyOfFg==[/tex] 且与 [tex=0.929x0.786]VF0GLe2VBE/4VKNzpyOfFg==[/tex] 互素的所有正整数之和为 [tex=4.357x2.357]sjK4NrbKWB0OUoVSqml3orVuMxOKsDVzHVIS7pFHk1g=[/tex]
- 证明: 若 [tex=0.929x0.786]VF0GLe2VBE/4VKNzpyOfFg==[/tex] 是合数, 则 [tex=1.357x1.214]uOaDd4d1D0CW/9JuHUXnKLl2GaIFDM+Am7HUbgbGRuk=[/tex] 不是域.