第二章作業(yè)與習(xí)題-文庫吧資料
2024-11-01 14:29本頁面
【正文】 ? ? ? ?前提：1 ) G ( c ) P 2 ) x ( G ( x ) L ( x ) P ( x ) ) P3 ) G ( c ) L ( c ) P ( c ) U S 2 )4 ) L ( c ) P ( c ) T 1 ) 3 )5 ) P ( c ) P6 ) L ( c ) ? ? ?????附加 T 4) 5)7 ) G ( c ) L ( c ) CP? G ( c ) L ( c )?結(jié)論：2020/11/29 第二章作業(yè) 23 of 26 練習(xí) 求前束范式 ( ( ) ( ) ) ( ( ) ( ) )x F x G x x F x x G x? ? ? ? ? ? ? ? ? ?( ( ) ( ) ) ( ( ) ( ) )x F x G x x F x x G x? ? ? ? ? ?( ( ) ( ) ) ( ( ) ( ) )x F x G x x F x x G x? ? ? ? ? ? ? ? ?( ( ( ) ( ) ) ( )x F x G x x F x? ? ? ? ? ?( ( ) ( ) ) ( ( ) ( ) )x F x G x x F x x G x? ? ? ? ? ? ? ? ?( ( ( ) ( ) ) ( ) ) ( )x F x G x G x x F x? ? ? ? ? ? ? ?( ( ) ( ) ( ) )x y F x G x F y? ? ? ? ? ?( ( ( ) ( ) ) ( )x F x G x y F y? ? ? ? ? ?2020/11/29 第二章作業(yè) 24 of 26 練習(xí) ? 試論證：每一個(gè)買到門票的人，都能得到座位。有的人不愛騎自行車，因而有的人不愛步行。 令 R(x): x是實(shí)數(shù) , Q(x): x是有理數(shù)， I(x): x是整數(shù)。 c) (?x)(?y)(P(x) ? Q(y)) ?(?x)R(x) x和 y都是約束變元， P(x)中的 x受存在量詞的約束， R(x)中的 x受全稱量詞的約束， y受全稱量詞的約束。 R(x):x是實(shí)數(shù)， G(x,y):x大于 y， (?x)(R(x) ? (?y)(R(y) ? G(y,x)) c) 存在實(shí)數(shù) x,y和 z,使得 x與 y之和 大于 x與 z之積。 N(x):x是有限個(gè)數(shù)的乘積， Z(x):x等于零， F(x):x是乘積中的一個(gè)因子。 (A(x,y)) (?x)(L(x)? (?y)(J(y) ?A(x,y))) l) 有些大學(xué)生不欽佩運(yùn)動(dòng)員。(W(x),C(x),H(x)) ?(? x)(W(x)?C(x)?L(x)) j) 有些女同志既是教練員又是國家選手。 P(A,B)? ? G(A,B) 2020/11/29 第二章作業(yè) 4 of 26 P592 a) 所有教練員是運(yùn)動(dòng)員。 ?(?x)(R(x)?Q(x)) h) 直線 A與直線 B平行當(dāng)且僅當(dāng) A與 B不相交。 (?x)(R(x)?Q(x)) f) 某些實(shí)數(shù)是有理數(shù)。 O(m) ? ?O(2m) 2020/11/29 第二章作業(yè) 3 of 26 P591 e) 每一個(gè)有理數(shù)是實(shí)數(shù)。 C(x):x是聰明的， B(x):x是美麗的， a:小莉 C(a) ? B(a) d) 若 m是奇數(shù)，則 2m不是奇數(shù)。 ?W(a) b) 他是田徑或球類運(yùn)動(dòng)員。第二章作業(yè)與習(xí)題 2020/11/29 第二章作業(yè) 2 of 26 P591 a) 小張不是工人。 a:小張 W(x): x是工人。
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1