用主析取范式法判断推理是否正确[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] 不是奇数.

2022-05-31

用主析取范式法判断推理是否正确[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=2.0x1.0]W8A0lpcnMW6+qRFcxMe96Q==[/tex]是偶数[tex=2.643x1.0]5wD5F2Odj+A8/ReCD9Bcag==[/tex] 是奇数,推理的形式结构为[tex=7.929x1.357]KNAdEBPtGorTe6yOEBBTrEhTvyez80bT6iUiqJpj2pZTqZfyUkOoPj1yg29qxj4JCqqP6PLeYcJ/jL8/iJTl3Q==[/tex]                                      [tex=2.071x1.357]KCults6h7lnuMwkuX+u60Q==[/tex]下面求式[tex=2.071x1.357]KCults6h7lnuMwkuX+u60Q==[/tex]的主析取范式.[tex=7.929x2.786]t8iNysWvCXH7Agk9xXvrbgGbxOWEC5p48u7U/Y4YAFF6pvvfWZKQGtxqSwYLr9QFwMAOBcnQaS3r25zEY//tw/dpKGOKng1/yMQjghV3/FqoexCO3ECgx1XrKjXmsve6MCqNPJzksZkGrYKxY2wDuQ==[/tex]                                       (矛盾律、同一律等) [tex=9.571x3.714]y8LuSm71q2LpxnLwWvR1byhV/NagENGe2kov4iRxaDxaiMGi5U+ELwr3qt5tOEKUnuE1oNFe7w4fvembYY/Ka3UPOBwf/o3/nL7PdAfzQ/qlsgY9VfWUfgmArlvEQYWT9NU03S2JNAk2EgPeboABrQiRlRcHXR4Zg8XJjNA5Rm/enjkll41tx0rw191SSdAdSnFmax2xobvp1vT9X/ItBw==[/tex]由于式[tex=2.071x1.357]i6uJNQrFJ6N6DZ8ULODnKQ==[/tex]的主析取范式含全部 [tex=2.214x1.214]Zqo7543RoQsyEnxz191rgg==[/tex] 个极小项,所以式[tex=2.071x1.357]i6uJNQrFJ6N6DZ8ULODnKQ==[/tex]为重言式,故推理正确. 其实, [tex=11.643x1.214]30+BrVppTx2G/g6RVsnG2k8pjzrLD4Tw9l04GSzm93rHcPITpnpynDaqc6YkmA40PyP0KjfcnVJeBmdAzm9VY7+0a4pEG33THb8LmLRyeRw=[/tex] 也可知式[tex=2.286x1.357]hJ3qucDwa5XQmbfQ7Cre/5bOM1r8or3w1cnfqriTGtA=[/tex]为重言式.

举一反三

内容

0
证明如果 [tex=0.929x0.786]VF0GLe2VBE/4VKNzpyOfFg==[/tex] 与 [tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex] 是不同的正整数, 则环 [tex=1.643x1.0]/YsKT7S2YH+eMKhH6BVb3g==[/tex]与 [tex=1.357x1.0]8jytUXDN0JoJDKzPCmdDnA==[/tex]不同构.
1
用 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]不是奇数.
2
对总体[tex=5.071x1.357]WC2V05/d6y94x6J68UqoMjF81hjxsMSdc6FqAMmrwyU=[/tex]仍然设定[tex=3.357x1.0]MlNYdqaJ3TEZBPcL9kVqiA==[/tex]，增加样本大小[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex]和样本数量[tex=0.929x0.786]VF0GLe2VBE/4VKNzpyOfFg==[/tex]，用50个模型作模拟计算，估计总体，对估计结果进行分析研究，[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex] 和 [tex=0.929x0.786]VF0GLe2VBE/4VKNzpyOfFg==[/tex]的增加对结果有什么影响。
3
求证 [tex=13.286x1.571]GNlVMpontaq9crVOi7ngmG7LK5JzmnuHwIdNNv0enraiBq/6DtsMcww/8w7jaFktzgHYx/xF4eNS59C/HN4N5A==[/tex] 为 [tex=0.929x0.786]VF0GLe2VBE/4VKNzpyOfFg==[/tex] 与 [tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex] 的最大公因数.
4
[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]