利用谓词公式翻译下列命题。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=3.857x1.357]Aps4Q8oAqmn69d1q33EBpg==[/tex]表示“[tex=3.143x1.143]n6l6igOGcVl4jfXk2sxX8A==[/tex]”,谓语[tex=4.214x1.357]meFX4gJwXBDFAV2yciU/sA==[/tex]表示“[tex=2.357x1.0]4ie0tcy8g0kaLIyYjQnatA==[/tex]”,论述域是整数,用以上谓语表示下述断言:(a)对每一[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex],有一[tex=0.5x0.786]gdMkE6SnyZedYLxpUxdkaQ==[/tex],使[tex=3.143x1.143]n6l6igOGcVl4jfXk2sxX8A==[/tex]。(b)对每一[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex],有一[tex=0.5x0.786]gdMkE6SnyZedYLxpUxdkaQ==[/tex],使[tex=3.143x1.143]cBYYgzgOvdFjNZniEX+Ppg==[/tex].(c)从任何整数减去0,其结果是原整数。(d)对所有[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex],对所有[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex],[tex=2.357x1.0]SNwATEsOpM9ar+WOb4zbqw==[/tex]。(e)存在一[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex],对一切[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex],[tex=2.357x1.0]SNwATEsOpM9ar+WOb4zbqw==[/tex]。
- 利用谓词公式翻译下列命题。b) 对于每一个实数[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=0.714x1.0]ravtxd2oof9d0U26ZFAIhw==[/tex]的所有元素[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]、[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]、[tex=0.5x0.786]gdMkE6SnyZedYLxpUxdkaQ==[/tex]成立:[tex=20.143x1.357]qo9mBx5FHZB+Et+moWpU3y3WgfyJdAfh1byhIxSM+cz0lS2Uss+xNtwfnnu7FiLAiBcvURRbWPkX8+vDgP5HsTq8LYNBqN794KAx7FtP7WA=[/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]也是偶数。