(4)等价三段论:“2 是素数当且仅当 3 是奇数,3 是奇数当且仅当 4 是偶数,所以2 是素数当且仅当 4 是偶数”。令 p:2 是素数,q:3 是奇数,t:4 是偶数,该等价三段论定律符号化为 ( p↔q )∧(q↔t )⇒ p↔t 。(5)构造性二难:“明天是周一,小明就要上学,明天是周末,小明就要去游泳,...
题目4.参照 1,2,3 题,请构造满足拒取式、析取三段论、假言三段论、等价三段论、构造性二难等推理定律的实例各一个,并将它们符号化。答案 解:(1)拒取式:“明天是周末,小明就休息,小明没有休息,所以明天不是周末”。令p:明天周末,q:小明休息。该拒取式定律符号化为 ( p→q)∧¬q⇒...
(4)等价三段论:“2是素数当且仅当3是奇数,3是奇数当且仅当4是偶数,所以2是素数当且仅当4是偶数”。令p:2是素数,q:3是奇数,t:4是偶数,该等价三段论定律符号化为。 (5)构造性二难:“明天是周一,小明就要上学,明天是周末,小明就要去游泳,明天是周末或者周一,所以小明去上学或者去游泳”。令p:明天是周一...
ashow me your love tonight 今晚显示我您的爱 [translate] awhich charm this letter exquisite 哪魅力这封信件精妙 [translate] a它们用符号推理的方法对完备迹等价进行研究 They use the mark inference the method to conduct the research equally to the complete mark [translate] ...
10.下列类比推理命题(符号Q为有理数集,R为实数集,C为复数集,=表示等价关系),其中类比结论正确的个数是(C)① “若 a, b∈R , 则 a-b0⇔ab ”类比推出“若 a, b∈ C ,则 a-b0⇔ab ;② “若 a, b, c, d∈R, 则复数 a +bi=c+di⇔a= c, b=d”类比推出“若 a,b, c, d∈...