证明存在无理数[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]使得[tex=1.0x1.0]F9DMbeNbVCsd1ppPNI9KUw==[/tex]是有理数。
举一反三
- 证明或驳斥存在有理数[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和无理数[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex],使得[tex=1.0x1.0]F9DMbeNbVCsd1ppPNI9KUw==[/tex]是无理数。
- 利用谓词公式翻译下列命题。c) 存在实数[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]，[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex] 和[tex=0.5x0.786]gdMkE6SnyZedYLxpUxdkaQ==[/tex]， 使得[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]与[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]之和大于[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]与[tex=0.5x0.786]gdMkE6SnyZedYLxpUxdkaQ==[/tex]之积。
- 证明如果[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]是整数并且[tex=1.071x1.0]10CFjhXoBnEL0AdeGtum/Q==[/tex]和[tex=2.286x1.143]WT473J6iJyFLml9AmYU4qg==[/tex]均为偶数，则[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]也是偶数。
- 在16个两变元[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]的布尔函数中，有多少个能够用下列运算符、变元[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]以及值0和1来表示？[tex=1.286x1.357]wi9SzxAlLpK78aH0t+Y7JQ==[/tex]
- 设[tex=2.714x1.357]AyydKThGWuhLufX3R3V/hpcOkfwVst9LT3fIys6ScuE=[/tex]是模格，[tex=4.429x1.214]jjQpFPPwtxOZ8lc7ywXtAQ==[/tex]，且[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]， [tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]分别覆盖[tex=0.571x0.786]c59+3vo0/Vn/FvNRhDRu5g==[/tex]，证明[tex=2.286x1.143]z+DD0dY+JBIHoZyGATbJNA==[/tex]覆盖[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]。