用真值表法和主析取范式法证明下面推理不正确. [br][/br] 如果[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]中恰有一个是负数.a 和 [tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex]之积不是负数.所以 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 和 [tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex] 都不是负数.

2022-06-18

用真值表法和主析取范式法证明下面推理不正确. [br][/br] 如果[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]中恰有一个是负数.a 和 [tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex]之积不是负数.所以 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 和 [tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex] 都不是负数.

答案：

 设 [tex=2.786x1.214]9817rbk03z7r5cFERiAGqA==[/tex] 两数之积为负数 [tex=2.286x1.0]vvbiAZcmfTVIblF9fD758g==[/tex] 为负数 [tex=2.214x1.214]6wZMwAE7gWZpjv3HW1PXWA==[/tex]为负数. [br][/br]推理的形式结构为[tex=19.286x1.357]sG+ugyu3gLnzApOZ5hWmhtyP07hD/aTYckInJanRqPiYAeIPGwrRIvkF/xtvbq906lq0lawW7mMlJkU4u29VKNs86t9Fi5OBb5gBYJ80k0nH6wQNP9BpaPauIs+M2AGdldep964HRZEp1LObjeJ5BZcCC11OETkdTpbBESDtA4s=[/tex]真值表法 由表3.2,式(3.8)不是重言式,攻推理不正确.[img=779x262]178c57671d2145c.png[/img][br][/br]主析取范式法[tex=20.5x7.071]qeiYnKXLEhyhuGRg8yLtr783WmsR3GcTE8eLopiryIP5MBrSXnLRprBtRKQkyQQGPDxuClIuQSMB1VAPhMyfObx7hbI/RujD26H2D3Dxyji/7czgzoCClCKx5swhzL2h7Afr86F36Dc1V79++ZH49qGZKE2j5TGfumuC4yjJ7bgntyHP0G3T1HKhVc9tXZnKPhyHDhV/eZfBqp/bBeIfhZ141vdHzQIrYeA4AJFMWDaXZPoVc/Fo3+xTXt/9n4zSsY2SUhUXRvhVU2laFaAZs/dP4Vacs6Ii0zkvKPi5FhIE45WMpu4KjtWZKmycLrDWjBdx0pEzkXrqyYkZH2xl2+XDW/cLwMZ9uB6JnBTsm4BAUrHgM1TpbK9Fpn/VB+pmLjQvA+iu4T7luJL7oXMAIXb6A3inQMyPkTOzUIq7BoOvwRq+Vi1Rs8Hx7RTYbjRhJ/NXFrJL6fNEMvFnsynNP96rNKVu4mvm1VjPW0m4X0u7DNK0jEe5ViPiObj/erMvdt0DTAWCVmHHNvuGP0rS40h0qnElenUCD4KetZ2ZqOywCvRDnLr7PHCRU/bX/ixuqsAjcnx0QhYKTwnlq4j1mE1gN4K8u9vA2lcgxYUX+D0=[/tex]由于主析取范式中只含 5 个极小项,式( 3.8 )不是重言式.故推理不正确

举一反三

内容

0
设向量[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]与向量[tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex]垂直，向量[tex=0.5x0.786]hycNLgozeED/VkKdun7zdA==[/tex]与[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]，[tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex]两个向量的夹角都是[tex=1.429x1.071]s3z0Yb1ACTgHO2Vzw1/XRw==[/tex]，并且[tex=2.429x1.357]duSjz5c/A7Rh2xAM5F0QdA==[/tex]，[tex=2.286x1.357]qNMzF8uNPlTvJS5TvA5NpQ==[/tex]，[tex=2.286x1.357]dclYQI2YhQOEn8E4AdvlTg==[/tex]，计算：（1）[tex=2.786x1.357]2mYjRUS9hnjorh1t4drr6w==[/tex].（2）[tex=7.214x1.357]N3eY2YxxfgfUUkE9sAzQhwM4iVAZE25GDq0+Rc9cuQA=[/tex].（3）[tex=8.214x1.5]Ts9UJCofCe0XJM70+ZAys5PFnXcR73dnXziJIPscUwfMXPV4iXrmUQsd7rTkIjgW[/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=0.5x1.0]yBR4oiFoTexGaFalQ7m8kg==[/tex]。消费者 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 的效用函数为 [tex=4.643x1.357]+CttsCbBnki+hYnpyrxMHQ==[/tex], 消费者[tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex] 的无差异曲线[tex=11.0x1.357]vBRFTxrpk2N91veJeKOqNH7n3F9gBCgPq/eo3Mm7BJxTslxLdVBz4bfv9moZUtdv[/tex] 。试说明交换的制约曲线的倾斜方向。
3
设 [tex=0.571x1.0]FGGpnaR8m8C48rN8O0c7aw==[/tex] 是素数, [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 和 [tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex] 是任意二整数,则[br][/br][br][/br][tex=10.643x1.357]YmLpAkV71hkAlI0IxA5MpP/8CHRo2HMLBUa4mstNJ+zGGNXW51BPZKFFjbV8Pe+E[/tex]
4
如果一棵一叉树的先序序列是[tex=5.5x1.0]aqP1pqCLZl92JArr5ReCKrE0gP5MViMMNkV/nxy3k7g=[/tex], 中序序列是[tex=5.5x1.0]GQmFEgJqaHRsoeiJODB2ytMsTP+62PbMkGL9qhRXg4U=[/tex],则[input=type:blank,size:4][/input]。未知类型：{'options': ['结点[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]和结点b 分别在某结点的左子树和右子树中', '结点[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]的左子树中', '结点[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]和结点[tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex]分别在某结点的两棵非空子树中'], 'type': 102}