用 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]不是奇数.

2022-05-31

用 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]不是奇数.

答案：

设 [tex=1.929x1.0]nQDo13tyF2hi2llnmbqZtA==[/tex] 是奇数[tex=2.286x1.0]vvbiAZcmfTVIblF9fD758g==[/tex] 能被 2 整除, [tex=1.857x0.786]SAsoSpebA5nTiXyafQ47Zw==[/tex] 是偶数. [br][/br]推理的形式结构为                                 [tex=11.643x1.357]URcGO2aB2CEAiSE/pD81xyt4iZ0xeT7vq+r7rK34fmZE3VL7s/jwjRpG7qpNftHgL89TVYJ4KUrVjaFx81I4K1u4CBGPvhS0PhFZsSfecVlPCidaeVfy0tlOwztJBJ0A[/tex]真值表法 由表 [tex=1.286x1.0]9JOjJLBtVtZ/ZgGLWwlcAw==[/tex], 式 (3.7) 为重言式,故推理正确. 等值演算法              [tex=16.214x9.929]rZM5/OPAdr7aX+kNl9iwpIPhkQawRuPDsDftBjbG4QYqAbJ6Hpg6TPBW4D5bIG9kfbhnqVOnZbAUjFMRYlDosuMKM4GZ3XlWHFhMZOofeCpH3/ZCzDKLtPtONGEFAIZb/wuAcQq0ZUJdl1Q45Ft/rzwN3WuBt6b8/1agGz0nAGDx+iahqtkfmU0FYRFnNfPLZS6zL4QHf2DuV+0XeMEhaEKUEEwaE2dGiIEgfARIfmoLqvCb8eT/3Shq/vriUMs/HwXZho+Gs80QGO4C9CasN8OvcwmT+Dfj/k0shWMzz5Wy23/3xEKdpiSQ66dVq/2DM2Y2Dlmkh40cBC++e8bX7T6zDhWAf/XtA4lc542fc0eqMlyKlwvG/8soAGPb9MNyhQGw0LzxWgdPm6T3S45YBCbfUuvDdgR8ZR03BFJXmHrEF8pLysPIxMjsr5w1M0HYHop6GeJ7/vu+fUKpw6MyIqYWbuggkWNnrFVcuxfusNrq8JJQz5w4C3JCUFH8e3inoTVMaFrTfFcL2QnWA1qtX1xJWb3oAhXvB5I0B4DDvgboIxWe6eUIRkvxjrkAboas4Vdi/pWCVHRMyszOZb7fYfnS0zMlplzx36tpq71wAsDdO13Yz+CXKQKhcJXRQOLsUfaO0Yf2/BHyVTl28reqTZqFvViQPkMxfqAtBA0u7mY=[/tex][br][/br][img=770x311]178c573b84b9da0.png[/img][br][/br]得证推理正确. [br][/br]主析取范式法[tex=32.214x7.071]rZM5/OPAdr7aX+kNl9iwpCYfeGT7U0CALpNyHg5taNrYQ/SRyKjymU8moPFA3F9EciiaVPHCOb2zLsyIzVdMEim47NjpnMQ4mDkf+uBV5F8lyxGmHhxHkiG1xojI2Cx0I50mtLvpc4o7MqufiseruLjFBtfwh1/ZIf/EUy5R+mW5O8YxJTOo/A7QYlskcvxBUbFxezs69j1LDvbi6T4Mwwo3uWW2m27eDMNSDSXcJY2swuV8Vk7nggI9nN/TwLE/2RDB9zWeZGJc78l5bNO+tXxvqwHMegf2bWzw52PP64fB3ia/2XE/bAEg+jqv/PVNyh0KvHgh7nhCHIuUGaV88MrsBp6JSF8+fovybWHYIkTHdLHTMRjchJaLs+pxeIdmzkDhmkE2/JlaHrZyLNGiuns3vWc36SwegOZpQ07Q1HYWOPlGZQ+H8ezZH8rmz5g1RrvSI4IXcX7ax+vNpERfh0rZhPswbxBxd5RZ4ZGDxNmbM/Ia04xu2ZUMlzjM0jjfsR5kMG6XIWxxrm3umKApu+1u8PgxhhykoZS5aCdMfZ7fU8nViLo7vuFa3o84K16UDQd1NMKOcszQcWMyttmlwQ3R/I89kZQ4s8CWhPS17nyjrmUPJvqB6BqyhpobE+Lkox9iWEANg/7F8Nekg88Mb4z5A5zEVOaXz/VrPAF/MdNiMBwx77QmeR1CPwNmC1VReMqCSG6n683jPygyENejJ2zYyMQQmkeYcVMcFc0C0Su1P/gSBDtsAyZ7uvCtH6O7NTyvHTCSPhh9a9e+rBTqbg==[/tex][br][/br]由于式(3.7)的主析取范式含全部8个极小项,为重言式,故推理正确.

举一反三

内容

0
以向量 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 和 [tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex] 为边作平行四边形,试用 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 与 [tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex] 表示 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 边上的高向量.
1
将下列命题符号化.若[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]和[tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex]是偶数，则[tex=1.786x1.143]+JWM/sEBO49/oaEmZ4MdCQ==[/tex]是偶数.
2
已知向量 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 与向量 [tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex] 及 [tex=0.571x0.786]ZKO2xs0EgSemzoH7MSmYTA==[/tex] 轴垂直.其中 [tex=8.357x1.357]T+BftPJon/Au4+ytgItUOarv6miDh3HAVIRylOqDcGo=[/tex],求向量 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex].
3
当 [tex=1.786x1.0]PNpwEwaQkBq+PSYXc8Vnww==[/tex] 时, [tex=3.929x1.429]lAYVKBAVLahcnRLZXygXnQ==[/tex] 回归方程中( ). 未知类型：{'options': ['[tex=0.571x0.786]kLyHbjayhNLhIY1u/6WKUw==[/tex] 必大于零', '[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]必等于 [tex=0.857x1.143]7n7oFVxukNBwo3UKa1adww==[/tex][br][/br]', '[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 必等于零[br][/br]', '[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]必等于 [tex=0.643x1.143]8HJP3oYekKf2ka+j2RTI9g==[/tex][br][/br]', '[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 必等于[tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex][br][/br]'], 'type': 102}
4
设[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是一个有单位元的环. 如果[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]中元素[tex=1.286x1.214]rkgrF+YaaESwSQDjR6KfWg==[/tex]有[tex=2.286x1.0]rZ0c/DqUwOwC6KLNVAW7uQ==[/tex]，则称 [tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex]是[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]的一个右逆元，而称[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]是[tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex]的一个左逆元. 证明卡普兰斯基(L Kaplansky) 定理：若[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]中元素[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]有多于一个的右逆元，则[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]必有无限多个右逆元.