第二章作業(yè)與習(xí)題(參考版)
2024-10-28 14:29本頁(yè)面
【正文】 令 B(x,y): x 買 y, T(x): x是門票， P(x): x是座位， R(x,y): x得到 y. 命題符號(hào)化為： ( ( ( , ) ( ) ) ( ( ) ( , ) ) )x y B x y T y y P y R x y? ? ? ? ? ?前提：( ) ( ( ) ( , ) )y P y x y T y B x y? ? ? ? ? ? ?結(jié)論：證明 2020/11/29 第二章作業(yè) 25 of 26 1 ( ( ( , ) ( ) ) ( ( ) ( , ) ) ) 2) ( ) 3 ) ( ) 2)4) ( ) 3)5 ) ( ) ( , ) x y B x y T yy P y R x y Py P y Py P y TP t U SP t R u t? ? ?? ? ??????? ? ?）附加 4)6) ( ( ) ( , ) ) 5 )7 ) ( ( ) ( , ) ) 6)8 ) ( ( ) ( , ) ) 7 )TP t R u t Ty P y R u y U Gy P y R u y T??? ? ?? ? ?( ) ( ( , ) ( ) )y P y x y B x y T y? ? ? ? ? ? ?結(jié)論：( ( ( , ) ( ) ) ( ( ) ( , ) ) )x y B x y T y y P y R x y? ? ? ? ? ?前提：2020/11/29 第二章作業(yè) 26 of 26 9 ) ( ( , ) ( ) ) ( ( ) ( , ) ) 1 )1 0 ) ( ( , ) ( ) ) 9 )1 1 ) ( ( , ) ( ) ) 1 0 )1 2 ) ( ( , ) ( ) ) 1 1 )1 3 ) ( , ) ( ) 1 2 )1 4 ) ( ( , ) ( ) ) y B u y T yy P y R u y USy B u y T y Ty B u y T y TB u t T t USB u t T t Ty B u y T y??? ? ?? ? ?? ? ?????? ? ? 1 3 )1 5 ) ( ( , ) ( ) ) 1 4 )1 6 ) ( )( ( , ) ( ) ) UGx y B u y T y UGy P yx y B x y T y C P? ? ? ?? ? ?? ? ? ?( ) ( ( , ) ( ) )y P y x y B x y T y? ? ? ? ? ? ?結(jié)論：( ( ( , ) ( ) ) ( ( ) ( , ) ) )x y B x y T y y P y R x y? ? ? ? ? ?前提：。 令 G(x): x是大學(xué)生 , L(x): x是文科學(xué)生， P(x): x是理工科學(xué)生， S(x):x是優(yōu)秀生， c:小張 .命題符號(hào)化為： x ( G ( x ) L ( x ) P ( x ) ) , x ( G ( x ) S( x ) ) , P( c ) , S( c )? ? ?? ? ?前提： G ( c ) L ( c )?結(jié)論：證明 x ( G ( x ) L ( x ) P ( x ) ) , x ( G ( x ) S( x ) ) , P( c ) S( c )? ? ?
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1