第二章作业与习题

第二章作业与习题内容摘要：

)3 ) ( ) 4) ( ) 3 )5 ) ( ) 2) 4)6) ( ) 5 )x A x B x PA u B u USx B x PB u USA u Tx A x EG  证明 2020/11/29 第二章作业 15 of 26 ) ( ( ) ( ) ) , ( ( ) ( ) )( ( ) ( ) )c x A x B x x C x B xx C x A x       证明 1) ( ( ) ( ) ) P2) ( ) ( ) U S 1)3) ( ( ) ( ) ) P4) ( ) ( ) U S 3)5) ( ) ( ) T 2)6) ( ) ( ) T 4) 5)7) ( ( ) ( ) ) U G 6)x A x B xA u B ux C x B xC u B uB u A uC u A ux C x A x      2020/11/29 第二章作业 16 of 26 P792 用 CP规则证明 ) ( ( ) ( ) ) ( ) ( )a x P x Q x x P x x Q x     证明 1 ) ( ) 2 ) ( ) 1 )3 ) ( ( ) ( ) ) 4 ) ( ) ( ) 3 )5 ) ( ) 2 ) 4 )6 ) ( ) 5 )7 ) ( ) ( ) x P x PP u E Sx P x Q x PP u Q u E SQ u Tx Q x U Gx P x x Q x CP  附加前提 2020/11/29 第二章作业 17 of 26 P793 符号化下列命题并推证其结论 a)所有有理数是实数，某些有理数是整数，因此某些实数是整数。 令 R(x): x是实数 , Q(x): x是有理数， I(x): x是整数。 命题符号化为： ( ( ) ( ) ) , ( ( ) ( ) )x Q x R x x Q x I x   前提:( ( ) ( ) )x R x I x结论:证明 2020/11/29 第二章作业 18 of 26 ( ( ) ( ) ) , ( ( ) ( ) )x Q x R x x Q x I x   前提:( ( ) ( ) )x R x I x结论: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 第二章作业 19 of 26 P793 符号化下列命题并推证其结论。