第二章作業(yè)與習(xí)題-wenkub.com
2024-10-20 14:29 本頁面
【正文】 因此，如果沒有座位，那么任何人就買不著門票了。 命題符號化為： ( ( ) ( ) ) , ( ( ) ( ) )x Q x R x x Q x I x? ? ? ?前提:( ( ) ( ) )x R x I x??結(jié)論:證明 2020/11/29 第二章作業(yè) 18 of 26 ( ( ) ( ) ) , ( ( ) ( ) )x Q x R x x Q x I x? ? ? ?前提:( ( ) ( ) )x R x I x??結(jié)論:1 ) x(Q( x) I ( x)) P2) Q( c ) I ( c ) ES 1)3) x(Q( x) R ( x)) P4) Q( c ) R ( c ) US 3)5) Q( c ) T 2)6) R ( c ) T 4)5)7) I ( c ) ?????? T 2)8) R ( c ) I ( c ) T 6)7)9) x(R ( c ) I ( c ) ) EG8)???2020/11/29 第二章作業(yè) 19 of 26 P793 符號化下列命題并推證其結(jié)論 b)任何人如果他喜歡步行，他就不喜歡乘汽車，每一個(gè)人或者喜歡乘汽車或者喜歡騎自行車。 R(x):x是實(shí)數(shù)， G(x,y):x大于 y， (?x) (?y) (?z)(R(x)?R(y)?R(z) ?G(x+y,x?y)) 2020/11/29 第二章作業(yè) 8 of 26 P651指出約束變元和自由變元 b) (?x)(P(x) ? Q(x)) ?(?x) S(x) x是約束變元，在 (P(x) ? Q(x)) 中受全稱量詞的約束，在 S(x)中受存在量詞的約束。 (S(x),L(x),A(x,y)) (?x)(S(x) ? (?y)(L(y) ? ?A(x,y))) 2020/11/29 第二章作業(yè) 7 of 26 P623 a) 如果有限個(gè)數(shù)的乘積 等于零 ，那么至少有一個(gè)因子等于零。 J(x): x是教練員 , L(x): x是運(yùn)動員 (?x)(J(x)?L(x)) b) 某些運(yùn)動員是大學(xué)生 . (L(x), S(x): x是大學(xué)生 ) (?x)(L(x) ?S(x)) c) 某些教練員是年老的 , 但是健壯的 .(O(x),V(x)) (?x)(J(x)?O(x)?V(x)) d) 金教練既不年老但也不是健壯的 . j:金教練 ?O(j) ? ?V(j) 2020/11/29 第二章作業(yè) 5 of 26 練習(xí) P592 e) 不是所有運(yùn)動員都是教練 . (L(x),J(x)) ?(?x)(L(x) ? J(x)) f) 某些大學(xué)生運(yùn)動員是國家選手 . (S(x), L(x),C(x)) (?x)(S(x)?L(x)?C(x)) g) 沒有一個(gè)國家選手不是健壯的 . (C(x),V(x)) ?(? x)(C(x) ??V(x)) h) 所有老的國家選手都是運(yùn)動員 .(O(x),C(x),L(x)) (?x)(O(x) ? C(x) ? L(x)) 2020/11/29 第二章作業(yè) 6 of 26 練習(xí) P592 i) 沒有一位女同志既是國家選手又是家庭婦女。 (?x)(R(x) ?Q(x)) g) 并非每一個(gè)實(shí)數(shù)都是有理數(shù)。 O(x):x是奇數(shù)。 a:小張 W(x): x是工人。 ?W(a) b) 他是田徑或球類運(yùn)動員。 O(m) ? ?O(2m) 2020/11/29 第二章作業(yè) 3 of 26 P591 e) 每一個(gè)有理數(shù)是實(shí)數(shù)。
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1