求使下列同余关系成立的所有正整数[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex].[br][/br][tex=6.0x1.286]meoCVdAW+OncLrZtPwDfCibe0X6ZR4NPDBcVv5cW06s=[/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]。
- 利用反向替换方法找出所有整数[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]使得[tex=13.071x1.357]uLkT6FYzW7dabkXp5bXQjnkYnE6dm+ZeQBaJ+OtOh/P+h8p6dz57Ya5P3fll16qGiNkvPyMzGFtczEdSXPAiEA==[/tex]和[tex=6.286x1.357]VYu/w1oBNNYhlW2Hg45trx52Yw7lr6NmNJqo6gz92IU=[/tex]成立。
- 设[tex=2.143x1.357]vgQR2NrJ1BFQI+DA+7lW3A==[/tex]表示“[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]是偶数”，[tex=2.143x1.357]Jf1lnjsYqMiQYgYbt6Ou4w==[/tex]表示“[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]是奇数”，[tex=2.0x1.357]GY9zSNHKWBpfBGAvg7Gr+g==[/tex]表示“[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]是质数”，[tex=2.214x1.357]lOMtWAuHg15ID7btGVh/Gw==[/tex]表示“[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]是负数”，[tex=1.857x1.357]LAF6dl8HcVsfKgVtj/DkWA==[/tex]表示“[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]是整数”和一些中缀表示的谓词诸如[tex=3.571x1.429]aFvlVsFPNg0dW7g7wNs+jQ==[/tex]等，将下列各句译成逻辑符：两个偶数之和是偶数。
- 设[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]为真值，[tex=1.0x1.071]t5O+3H0dMLqj6rFHvsFOLw==[/tex]为其绝对值，则等式[tex=7.429x1.429]ZMn9tYiYoOZ1zB1PVeZB/uFCYcEGVkROrxA/tdotz3o=[/tex]的条件是[input=type:blank,size:4][/input]。 未知类型：{'options': ['[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]任意', '[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]为正数', '[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]为负数'], 'type': 102}
- 证明[tex=3.786x1.357]+tMtExURlZlXw7xTjNPhruBPfa4khiliR2YpxZ6Q+qA=[/tex]是最接近[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]的整数，除非[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]恰为两个(相邻)整数的中间数，此时它为这两个整数中较小的一个。