以下列出的是否是整数的有序对的集合[tex=2.643x1.143]R0ZR4gO+cfdqyH+2Y4SM7OCs+2cphtwkswvrVIz2+xw=[/tex]上的划分?[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]是正数的有序对[tex=2.286x1.357]31CzVDPWEEnJrSJJlGK6fQ==[/tex]的集合; [tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]是正数的有序对[tex=2.286x1.357]31CzVDPWEEnJrSJJlGK6fQ==[/tex]的集合;[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]都是负数的有序对[tex=2.286x1.357]31CzVDPWEEnJrSJJlGK6fQ==[/tex]的集合。
举一反三
- 以下列出的是否是整数的有序对的集合[tex=2.643x1.143]R0ZR4gO+cfdqyH+2Y4SM7OCs+2cphtwkswvrVIz2+xw=[/tex]上的划分?[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]都是奇数的有序对[tex=2.286x1.357]31CzVDPWEEnJrSJJlGK6fQ==[/tex]的集合; [tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]只有一个是奇数的有序对[tex=2.286x1.357]31CzVDPWEEnJrSJJlGK6fQ==[/tex]的集合; [tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]都是偶数的有序对[tex=2.286x1.357]31CzVDPWEEnJrSJJlGK6fQ==[/tex]的集合。
- 以下列出的是否是整数的有序对的集合[tex=2.643x1.143]R0ZR4gO+cfdqyH+2Y4SM7OCs+2cphtwkswvrVIz2+xw=[/tex]上的划分?[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]或[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]是奇数的有序对[tex=2.286x1.357]31CzVDPWEEnJrSJJlGK6fQ==[/tex]的集合; [tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]是偶数的有序对[tex=2.286x1.357]31CzVDPWEEnJrSJJlGK6fQ==[/tex]的集合; [tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]是偶数的有序对[tex=2.286x1.357]31CzVDPWEEnJrSJJlGK6fQ==[/tex]的集合。
- 设[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]是长度至少为3的所有位串的集合上的关系，[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]由有序对[tex=2.286x1.357]31CzVDPWEEnJrSJJlGK6fQ==[/tex]构成，其中[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]在它们的第1位和第3位相同。证明[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/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]。
- 在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]