1. 自然數隸屬判定
依 OCME 本條目「N 包含 0」的慣例，0 是否屬於 N？
查看答案與解釋
是
0 是包含 0 的非負整數，因此依本條目慣例屬於 N。
自然數 · qf-natural-number-membership · candidate
數學基礎語言
本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20260913-foundational-language · 2026-09-13 · 100 題
2. 自然數隸屬判定
依 OCME 本條目「N 包含 0」的慣例，1 是否屬於 N？
查看答案與解釋
是
1 是包含 0 的非負整數，因此依本條目慣例屬於 N。
自然數 · qf-natural-number-membership · candidate
3. 自然數隸屬判定
依 OCME 本條目「N 包含 0」的慣例，2 是否屬於 N？
查看答案與解釋
是
2 是包含 0 的非負整數，因此依本條目慣例屬於 N。
自然數 · qf-natural-number-membership · candidate
4. 自然數隸屬判定
依 OCME 本條目「N 包含 0」的慣例，5 是否屬於 N？
查看答案與解釋
是
5 是包含 0 的非負整數，因此依本條目慣例屬於 N。
自然數 · qf-natural-number-membership · candidate
5. 自然數隸屬判定
依 OCME 本條目「N 包含 0」的慣例，10 是否屬於 N？
查看答案與解釋
是
10 是包含 0 的非負整數，因此依本條目慣例屬於 N。
自然數 · qf-natural-number-membership · candidate
6. 自然數隸屬判定
依 OCME 本條目「N 包含 0」的慣例，25 是否屬於 N？
查看答案與解釋
是
25 是包含 0 的非負整數，因此依本條目慣例屬於 N。
自然數 · qf-natural-number-membership · candidate
7. 自然數隸屬判定
依 OCME 本條目「N 包含 0」的慣例，100 是否屬於 N？
查看答案與解釋
是
100 是包含 0 的非負整數，因此依本條目慣例屬於 N。
自然數 · qf-natural-number-membership · candidate
8. 自然數隸屬判定
依 OCME 本條目「N 包含 0」的慣例，7 是否屬於 N？
查看答案與解釋
是
7 是包含 0 的非負整數，因此依本條目慣例屬於 N。
自然數 · qf-natural-number-membership · candidate
9. 自然數隸屬判定
依 OCME 本條目「N 包含 0」的慣例，3 是否屬於 N？
查看答案與解釋
是
3 是包含 0 的非負整數，因此依本條目慣例屬於 N。
自然數 · qf-natural-number-membership · candidate
10. 自然數隸屬判定
依 OCME 本條目「N 包含 0」的慣例，12 是否屬於 N？
查看答案與解釋
是
12 是包含 0 的非負整數，因此依本條目慣例屬於 N。
自然數 · qf-natural-number-membership · candidate
11. 自然數隸屬判定
依 OCME 本條目「N 包含 0」的慣例，-1 是否屬於 N？
查看答案與解釋
否
-1 不符合本條目所用 N 的非負整數範圍；此判定只採 OCME 的包含 0 慣例。
自然數 · qf-natural-number-membership · candidate
12. 自然數隸屬判定
依 OCME 本條目「N 包含 0」的慣例，-2 是否屬於 N？
查看答案與解釋
否
-2 不符合本條目所用 N 的非負整數範圍；此判定只採 OCME 的包含 0 慣例。
自然數 · qf-natural-number-membership · candidate
13. 自然數隸屬判定
依 OCME 本條目「N 包含 0」的慣例，-10 是否屬於 N？
查看答案與解釋
否
-10 不符合本條目所用 N 的非負整數範圍；此判定只採 OCME 的包含 0 慣例。
自然數 · qf-natural-number-membership · candidate
14. 自然數隸屬判定
依 OCME 本條目「N 包含 0」的慣例，-25 是否屬於 N？
查看答案與解釋
否
-25 不符合本條目所用 N 的非負整數範圍；此判定只採 OCME 的包含 0 慣例。
自然數 · qf-natural-number-membership · candidate
15. 自然數隸屬判定
依 OCME 本條目「N 包含 0」的慣例，-100 是否屬於 N？
查看答案與解釋
否
-100 不符合本條目所用 N 的非負整數範圍；此判定只採 OCME 的包含 0 慣例。
自然數 · qf-natural-number-membership · candidate
16. 自然數隸屬判定
依 OCME 本條目「N 包含 0」的慣例，-0.5 是否屬於 N？
查看答案與解釋
否
-0.5 不符合本條目所用 N 的非負整數範圍；此判定只採 OCME 的包含 0 慣例。
自然數 · qf-natural-number-membership · candidate
17. 自然數隸屬判定
依 OCME 本條目「N 包含 0」的慣例，0.5 是否屬於 N？
查看答案與解釋
否
0.5 不符合本條目所用 N 的非負整數範圍；此判定只採 OCME 的包含 0 慣例。
自然數 · qf-natural-number-membership · candidate
18. 自然數隸屬判定
依 OCME 本條目「N 包含 0」的慣例，1.5 是否屬於 N？
查看答案與解釋
否
1.5 不符合本條目所用 N 的非負整數範圍；此判定只採 OCME 的包含 0 慣例。
自然數 · qf-natural-number-membership · candidate
19. 自然數隸屬判定
依 OCME 本條目「N 包含 0」的慣例，2.25 是否屬於 N？
查看答案與解釋
否
2.25 不符合本條目所用 N 的非負整數範圍；此判定只採 OCME 的包含 0 慣例。
自然數 · qf-natural-number-membership · candidate
20. 自然數隸屬判定
依 OCME 本條目「N 包含 0」的慣例，-3.75 是否屬於 N？
查看答案與解釋
否
-3.75 不符合本條目所用 N 的非負整數範圍；此判定只採 OCME 的包含 0 慣例。
自然數 · qf-natural-number-membership · candidate
21. 有限集合隸屬判定
令 A={1、2} 為明示列舉的有限集合。2 是否滿足 2∈A？
查看答案與解釋
是
2 出現在 A 的明示列舉中，因此 2∈A。
集合隸屬 · qf-finite-set-membership · candidate
22. 有限集合隸屬判定
令 A={11、12、13} 為明示列舉的有限集合。18 是否滿足 18∈A？
查看答案與解釋
否
18 未出現在 A 的明示列舉中，因此 18∉A；本題只判定這個有限列舉。
集合隸屬 · qf-finite-set-membership · candidate
23. 有限集合隸屬判定
令 A={21、22、23、24} 為明示列舉的有限集合。24 是否滿足 24∈A？
查看答案與解釋
是
24 出現在 A 的明示列舉中，因此 24∈A。
集合隸屬 · qf-finite-set-membership · candidate
24. 有限集合隸屬判定
令 A={31、32} 為明示列舉的有限集合。37 是否滿足 37∈A？
查看答案與解釋
否
37 未出現在 A 的明示列舉中，因此 37∉A；本題只判定這個有限列舉。
集合隸屬 · qf-finite-set-membership · candidate
25. 有限集合隸屬判定
令 A={41、42、43} 為明示列舉的有限集合。43 是否滿足 43∈A？
查看答案與解釋
是
43 出現在 A 的明示列舉中，因此 43∈A。
集合隸屬 · qf-finite-set-membership · candidate
26. 有限集合隸屬判定
令 A={51、52、53、54} 為明示列舉的有限集合。59 是否滿足 59∈A？
查看答案與解釋
否
59 未出現在 A 的明示列舉中，因此 59∉A；本題只判定這個有限列舉。
集合隸屬 · qf-finite-set-membership · candidate
27. 有限集合隸屬判定
令 A={61、62} 為明示列舉的有限集合。62 是否滿足 62∈A？
查看答案與解釋
是
62 出現在 A 的明示列舉中，因此 62∈A。
集合隸屬 · qf-finite-set-membership · candidate
28. 有限集合隸屬判定
令 A={71、72、73} 為明示列舉的有限集合。78 是否滿足 78∈A？
查看答案與解釋
否
78 未出現在 A 的明示列舉中，因此 78∉A；本題只判定這個有限列舉。
集合隸屬 · qf-finite-set-membership · candidate
29. 有限集合隸屬判定
令 A={81、82、83、84} 為明示列舉的有限集合。82 是否滿足 82∈A？
查看答案與解釋
是
82 出現在 A 的明示列舉中，因此 82∈A。
集合隸屬 · qf-finite-set-membership · candidate
30. 有限集合隸屬判定
令 A={91、92} 為明示列舉的有限集合。97 是否滿足 97∈A？
查看答案與解釋
否
97 未出現在 A 的明示列舉中，因此 97∉A；本題只判定這個有限列舉。
集合隸屬 · qf-finite-set-membership · candidate
31. 有限集合隸屬判定
令 A={101、102、103} 為明示列舉的有限集合。103 是否滿足 103∈A？
查看答案與解釋
是
103 出現在 A 的明示列舉中，因此 103∈A。
集合隸屬 · qf-finite-set-membership · candidate
32. 有限集合隸屬判定
令 A={111、112、113、114} 為明示列舉的有限集合。119 是否滿足 119∈A？
查看答案與解釋
否
119 未出現在 A 的明示列舉中，因此 119∉A；本題只判定這個有限列舉。
集合隸屬 · qf-finite-set-membership · candidate
33. 有限集合隸屬判定
令 A={121、122} 為明示列舉的有限集合。122 是否滿足 122∈A？
查看答案與解釋
是
122 出現在 A 的明示列舉中，因此 122∈A。
集合隸屬 · qf-finite-set-membership · candidate
34. 有限集合隸屬判定
令 A={131、132、133} 為明示列舉的有限集合。138 是否滿足 138∈A？
查看答案與解釋
否
138 未出現在 A 的明示列舉中，因此 138∉A；本題只判定這個有限列舉。
集合隸屬 · qf-finite-set-membership · candidate
35. 有限集合隸屬判定
令 A={141、142、143、144} 為明示列舉的有限集合。144 是否滿足 144∈A？
查看答案與解釋
是
144 出現在 A 的明示列舉中，因此 144∈A。
集合隸屬 · qf-finite-set-membership · candidate
36. 有限集合隸屬判定
令 A={151、152} 為明示列舉的有限集合。157 是否滿足 157∈A？
查看答案與解釋
否
157 未出現在 A 的明示列舉中，因此 157∉A；本題只判定這個有限列舉。
集合隸屬 · qf-finite-set-membership · candidate
37. 有限集合隸屬判定
令 A={161、162、163} 為明示列舉的有限集合。163 是否滿足 163∈A？
查看答案與解釋
是
163 出現在 A 的明示列舉中，因此 163∈A。
集合隸屬 · qf-finite-set-membership · candidate
38. 有限集合隸屬判定
令 A={171、172、173、174} 為明示列舉的有限集合。179 是否滿足 179∈A？
查看答案與解釋
否
179 未出現在 A 的明示列舉中，因此 179∉A；本題只判定這個有限列舉。
集合隸屬 · qf-finite-set-membership · candidate
39. 有限集合隸屬判定
令 A={181、182} 為明示列舉的有限集合。182 是否滿足 182∈A？
查看答案與解釋
是
182 出現在 A 的明示列舉中，因此 182∈A。
集合隸屬 · qf-finite-set-membership · candidate
40. 有限集合隸屬判定
令 A={191、192、193} 為明示列舉的有限集合。198 是否滿足 198∈A？
查看答案與解釋
否
198 未出現在 A 的明示列舉中，因此 198∉A；本題只判定這個有限列舉。
集合隸屬 · qf-finite-set-membership · candidate
41. 有限集合隸屬判定
令 A={201、202、203、204} 為明示列舉的有限集合。202 是否滿足 202∈A？
查看答案與解釋
是
202 出現在 A 的明示列舉中，因此 202∈A。
集合隸屬 · qf-finite-set-membership · candidate
42. 有限集合隸屬判定
令 A={211、212} 為明示列舉的有限集合。217 是否滿足 217∈A？
查看答案與解釋
否
217 未出現在 A 的明示列舉中，因此 217∉A；本題只判定這個有限列舉。
集合隸屬 · qf-finite-set-membership · candidate
43. 有限集合隸屬判定
令 A={221、222、223} 為明示列舉的有限集合。223 是否滿足 223∈A？
查看答案與解釋
是
223 出現在 A 的明示列舉中，因此 223∈A。
集合隸屬 · qf-finite-set-membership · candidate
44. 有限集合隸屬判定
令 A={231、232、233、234} 為明示列舉的有限集合。239 是否滿足 239∈A？
查看答案與解釋
否
239 未出現在 A 的明示列舉中，因此 239∉A；本題只判定這個有限列舉。
集合隸屬 · qf-finite-set-membership · candidate
45. 有限集合隸屬判定
令 A={241、242} 為明示列舉的有限集合。242 是否滿足 242∈A？
查看答案與解釋
是
242 出現在 A 的明示列舉中，因此 242∈A。
集合隸屬 · qf-finite-set-membership · candidate
46. 命題分類
在本題指定的入門古典邏輯語境中，「0 屬於本條目所用的 N。」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
是
它是可在指定古典語境談論真假的封閉陳述；是命題不表示它已被證明為真。
命題 · qf-proposition-classification · candidate
47. 命題分類
在本題指定的入門古典邏輯語境中，「7=7。」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
是
它是可在指定古典語境談論真假的封閉陳述；是命題不表示它已被證明為真。
命題 · qf-proposition-classification · candidate
48. 命題分類
在本題指定的入門古典邏輯語境中，「3 大於 9。」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
是
它是可在指定古典語境談論真假的封閉陳述；是命題不表示它已被證明為真。
命題 · qf-proposition-classification · candidate
49. 命題分類
在本題指定的入門古典邏輯語境中，「0=1。」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
是
它是可在指定古典語境談論真假的封閉陳述；是命題不表示它已被證明為真。
命題 · qf-proposition-classification · candidate
50. 命題分類
在本題指定的入門古典邏輯語境中，「5 小於 8。」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
是
它是可在指定古典語境談論真假的封閉陳述；是命題不表示它已被證明為真。
命題 · qf-proposition-classification · candidate
51. 命題分類
在本題指定的入門古典邏輯語境中，「x>0。」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
否
它含未指定的自由變數，是未封閉開放句；須指定、代入或量化後才可評估。
命題 · qf-proposition-classification · candidate
52. 命題分類
在本題指定的入門古典邏輯語境中，「n 是偶數。」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
否
它含未指定的自由變數，是未封閉開放句；須指定、代入或量化後才可評估。
命題 · qf-proposition-classification · candidate
53. 命題分類
在本題指定的入門古典邏輯語境中，「y∈A。」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
否
它含未指定的自由變數，是未封閉開放句；須指定、代入或量化後才可評估。
命題 · qf-proposition-classification · candidate
54. 命題分類
在本題指定的入門古典邏輯語境中，「a+b=c。」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
否
它含未指定的自由變數，是未封閉開放句；須指定、代入或量化後才可評估。
命題 · qf-proposition-classification · candidate
55. 命題分類
在本題指定的入門古典邏輯語境中，「f(x)=y。」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
否
它含未指定的自由變數，是未封閉開放句；須指定、代入或量化後才可評估。
命題 · qf-proposition-classification · candidate
56. 命題分類
在本題指定的入門古典邏輯語境中，「x 是否大於 0？」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
否
它是疑問句，不是可直接斷言或否定的封閉陳述。
命題 · qf-proposition-classification · candidate
57. 命題分類
在本題指定的入門古典邏輯語境中，「0 是否屬於 N？」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
否
它是疑問句，不是可直接斷言或否定的封閉陳述。
命題 · qf-proposition-classification · candidate
58. 命題分類
在本題指定的入門古典邏輯語境中，「這個集合有幾個元素？」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
否
它是疑問句，不是可直接斷言或否定的封閉陳述。
命題 · qf-proposition-classification · candidate
59. 命題分類
在本題指定的入門古典邏輯語境中，「f 是否為函數？」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
否
它是疑問句，不是可直接斷言或否定的封閉陳述。
命題 · qf-proposition-classification · candidate
60. 命題分類
在本題指定的入門古典邏輯語境中，「你能判定 P 嗎？」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
否
它是疑問句，不是可直接斷言或否定的封閉陳述。
命題 · qf-proposition-classification · candidate
61. 命題分類
在本題指定的入門古典邏輯語境中，「請把 x 設為 0。」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
否
它是命令句，不是可直接斷言或否定的封閉陳述。
命題 · qf-proposition-classification · candidate
62. 命題分類
在本題指定的入門古典邏輯語境中，「計算這個距離。」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
否
它是命令句，不是可直接斷言或否定的封閉陳述。
命題 · qf-proposition-classification · candidate
63. 命題分類
在本題指定的入門古典邏輯語境中，「找出集合 A 的元素。」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
否
它是命令句，不是可直接斷言或否定的封閉陳述。
命題 · qf-proposition-classification · candidate
64. 命題分類
在本題指定的入門古典邏輯語境中，「證明 P。」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
否
它是命令句，不是可直接斷言或否定的封閉陳述。
命題 · qf-proposition-classification · candidate
65. 命題分類
在本題指定的入門古典邏輯語境中，「把輸入映到 Y。」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
否
它是命令句，不是可直接斷言或否定的封閉陳述。
命題 · qf-proposition-classification · candidate
66. 命題分類
在本題指定的入門古典邏輯語境中，「任一數等於它自己。」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
是
它是可在指定古典語境談論真假的封閉陳述；是命題不表示它已被證明為真。
命題 · qf-proposition-classification · candidate
67. 命題分類
在本題指定的入門古典邏輯語境中，「z+1=4。」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
否
它含未指定的自由變數，是未封閉開放句；須指定、代入或量化後才可評估。
命題 · qf-proposition-classification · candidate
68. 命題分類
在本題指定的入門古典邏輯語境中，「P 已被證明了嗎？」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
否
它是疑問句，不是可直接斷言或否定的封閉陳述。
命題 · qf-proposition-classification · candidate
69. 命題分類
在本題指定的入門古典邏輯語境中，「不要把 P 當成已證明。」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
否
它是命令句，不是可直接斷言或否定的封閉陳述。
命題 · qf-proposition-classification · candidate
70. 命題分類
在本題指定的入門古典邏輯語境中，「存在一個數等於 0。」 是否為命題？只分類，不判定真偽或證明狀態。
查看答案與解釋
是
它是可在指定古典語境談論真假的封閉陳述；是命題不表示它已被證明為真。
命題 · qf-proposition-classification · candidate
71. 有限映射函數判定
令定義域 X={x1-1、x1-2、x1-3、x1-4}，陪域 Y={y1-1、y1-2、y1-3、y1-4、y1-5}。有限對應為 x1-1↦y1-1、x1-2↦y1-1、x1-3↦y1-1、x1-4↦y1-1。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
是
X 的每個輸入各有一個輸出，且所有輸出都屬於陪域 Y；實際值域可只是 Y 的子集。
函數映射 · qf-finite-function-mapping · candidate
72. 有限映射函數判定
令定義域 X={x2-1、x2-2、x2-3、x2-4}，陪域 Y={y2-1、y2-2、y2-3、y2-4、y2-5}。有限對應為 x2-1↦y2-1、x2-2↦y2-1、x2-3↦y2-1、x2-4↦y2-1、x2-1↦y2-2。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
否
x2-1 有兩個不同輸出，不符合每個輸入恰有一個輸出的條件。
函數映射 · qf-finite-function-mapping · candidate
73. 有限映射函數判定
令定義域 X={x3-1、x3-2、x3-3、x3-4}，陪域 Y={y3-1、y3-2、y3-3、y3-4、y3-5}。有限對應為 x3-2↦y3-1、x3-3↦y3-1、x3-4↦y3-1。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
否
x3-1 沒有指定輸出，不符合定義域中每個輸入都必須有輸出的條件。
函數映射 · qf-finite-function-mapping · candidate
74. 有限映射函數判定
令定義域 X={x4-1、x4-2、x4-3、x4-4}，陪域 Y={y4-1、y4-2、y4-3、y4-4、y4-5}。有限對應為 x4-1↦z4、x4-2↦y4-1、x4-3↦y4-1、x4-4↦y4-1。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
否
輸出 z4 不屬於明示陪域 Y，因此這不是所宣告的 f:X→Y；陪域與實際值域不可混同。
函數映射 · qf-finite-function-mapping · candidate
75. 有限映射函數判定
令定義域 X={x5-1、x5-2、x5-3、x5-4}，陪域 Y={y5-1、y5-2、y5-3、y5-4、y5-5}。有限對應為 x5-1↦y5-1、x5-2↦y5-1、x5-3↦y5-1、x5-4↦y5-2。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
是
X 的每個輸入各有一個輸出，且所有輸出都屬於陪域 Y；實際值域可只是 Y 的子集。
函數映射 · qf-finite-function-mapping · candidate
76. 有限映射函數判定
令定義域 X={x6-1、x6-2、x6-3、x6-4}，陪域 Y={y6-1、y6-2、y6-3、y6-4、y6-5}。有限對應為 x6-1↦y6-1、x6-2↦y6-1、x6-3↦y6-1、x6-4↦y6-2、x6-2↦y6-2。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
否
x6-2 有兩個不同輸出，不符合每個輸入恰有一個輸出的條件。
函數映射 · qf-finite-function-mapping · candidate
77. 有限映射函數判定
令定義域 X={x7-1、x7-2、x7-3、x7-4}，陪域 Y={y7-1、y7-2、y7-3、y7-4、y7-5}。有限對應為 x7-1↦y7-1、x7-3↦y7-1、x7-4↦y7-2。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
否
x7-2 沒有指定輸出，不符合定義域中每個輸入都必須有輸出的條件。
函數映射 · qf-finite-function-mapping · candidate
78. 有限映射函數判定
令定義域 X={x8-1、x8-2、x8-3、x8-4}，陪域 Y={y8-1、y8-2、y8-3、y8-4、y8-5}。有限對應為 x8-1↦y8-1、x8-2↦z8、x8-3↦y8-1、x8-4↦y8-2。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
否
輸出 z8 不屬於明示陪域 Y，因此這不是所宣告的 f:X→Y；陪域與實際值域不可混同。
函數映射 · qf-finite-function-mapping · candidate
79. 有限映射函數判定
令定義域 X={x9-1、x9-2、x9-3、x9-4}，陪域 Y={y9-1、y9-2、y9-3、y9-4、y9-5}。有限對應為 x9-1↦y9-1、x9-2↦y9-1、x9-3↦y9-2、x9-4↦y9-1。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
是
X 的每個輸入各有一個輸出，且所有輸出都屬於陪域 Y；實際值域可只是 Y 的子集。
函數映射 · qf-finite-function-mapping · candidate
80. 有限映射函數判定
令定義域 X={x10-1、x10-2、x10-3、x10-4}，陪域 Y={y10-1、y10-2、y10-3、y10-4、y10-5}。有限對應為 x10-1↦y10-1、x10-2↦y10-1、x10-3↦y10-2、x10-4↦y10-1、x10-3↦y10-3。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
否
x10-3 有兩個不同輸出，不符合每個輸入恰有一個輸出的條件。
函數映射 · qf-finite-function-mapping · candidate
81. 有限映射函數判定
令定義域 X={x11-1、x11-2、x11-3、x11-4}，陪域 Y={y11-1、y11-2、y11-3、y11-4、y11-5}。有限對應為 x11-1↦y11-1、x11-2↦y11-1、x11-4↦y11-1。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
否
x11-3 沒有指定輸出，不符合定義域中每個輸入都必須有輸出的條件。
函數映射 · qf-finite-function-mapping · candidate
82. 有限映射函數判定
令定義域 X={x12-1、x12-2、x12-3、x12-4}，陪域 Y={y12-1、y12-2、y12-3、y12-4、y12-5}。有限對應為 x12-1↦y12-1、x12-2↦y12-1、x12-3↦z12、x12-4↦y12-1。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
否
輸出 z12 不屬於明示陪域 Y，因此這不是所宣告的 f:X→Y；陪域與實際值域不可混同。
函數映射 · qf-finite-function-mapping · candidate
83. 有限映射函數判定
令定義域 X={x13-1、x13-2、x13-3、x13-4}，陪域 Y={y13-1、y13-2、y13-3、y13-4、y13-5}。有限對應為 x13-1↦y13-1、x13-2↦y13-1、x13-3↦y13-2、x13-4↦y13-2。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
是
X 的每個輸入各有一個輸出，且所有輸出都屬於陪域 Y；實際值域可只是 Y 的子集。
函數映射 · qf-finite-function-mapping · candidate
84. 有限映射函數判定
令定義域 X={x14-1、x14-2、x14-3、x14-4}，陪域 Y={y14-1、y14-2、y14-3、y14-4、y14-5}。有限對應為 x14-1↦y14-1、x14-2↦y14-1、x14-3↦y14-2、x14-4↦y14-2、x14-4↦y14-3。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
否
x14-4 有兩個不同輸出，不符合每個輸入恰有一個輸出的條件。
函數映射 · qf-finite-function-mapping · candidate
85. 有限映射函數判定
令定義域 X={x15-1、x15-2、x15-3、x15-4}，陪域 Y={y15-1、y15-2、y15-3、y15-4、y15-5}。有限對應為 x15-1↦y15-1、x15-2↦y15-1、x15-3↦y15-2。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
否
x15-4 沒有指定輸出，不符合定義域中每個輸入都必須有輸出的條件。
函數映射 · qf-finite-function-mapping · candidate
86. 有限映射函數判定
令定義域 X={x16-1、x16-2、x16-3、x16-4}，陪域 Y={y16-1、y16-2、y16-3、y16-4、y16-5}。有限對應為 x16-1↦y16-1、x16-2↦y16-1、x16-3↦y16-2、x16-4↦z16。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
否
輸出 z16 不屬於明示陪域 Y，因此這不是所宣告的 f:X→Y；陪域與實際值域不可混同。
函數映射 · qf-finite-function-mapping · candidate
87. 有限映射函數判定
令定義域 X={x17-1、x17-2、x17-3、x17-4}，陪域 Y={y17-1、y17-2、y17-3、y17-4、y17-5}。有限對應為 x17-1↦y17-1、x17-2↦y17-1、x17-3↦y17-2、x17-4↦y17-3。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
是
X 的每個輸入各有一個輸出，且所有輸出都屬於陪域 Y；實際值域可只是 Y 的子集。
函數映射 · qf-finite-function-mapping · candidate
88. 有限映射函數判定
令定義域 X={x18-1、x18-2、x18-3、x18-4}，陪域 Y={y18-1、y18-2、y18-3、y18-4、y18-5}。有限對應為 x18-1↦y18-1、x18-2↦y18-1、x18-3↦y18-2、x18-4↦y18-3、x18-1↦y18-2。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
否
x18-1 有兩個不同輸出，不符合每個輸入恰有一個輸出的條件。
函數映射 · qf-finite-function-mapping · candidate
89. 有限映射函數判定
令定義域 X={x19-1、x19-2、x19-3、x19-4}，陪域 Y={y19-1、y19-2、y19-3、y19-4、y19-5}。有限對應為 x19-2↦y19-1、x19-3↦y19-2、x19-4↦y19-3。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
否
x19-1 沒有指定輸出，不符合定義域中每個輸入都必須有輸出的條件。
函數映射 · qf-finite-function-mapping · candidate
90. 有限映射函數判定
令定義域 X={x20-1、x20-2、x20-3、x20-4}，陪域 Y={y20-1、y20-2、y20-3、y20-4、y20-5}。有限對應為 x20-1↦z20、x20-2↦y20-1、x20-3↦y20-2、x20-4↦y20-3。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
否
輸出 z20 不屬於明示陪域 Y，因此這不是所宣告的 f:X→Y；陪域與實際值域不可混同。
函數映射 · qf-finite-function-mapping · candidate
91. 有限映射函數判定
令定義域 X={x21-1、x21-2、x21-3、x21-4}，陪域 Y={y21-1、y21-2、y21-3、y21-4、y21-5}。有限對應為 x21-1↦y21-1、x21-2↦y21-2、x21-3↦y21-1、x21-4↦y21-1。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
是
X 的每個輸入各有一個輸出，且所有輸出都屬於陪域 Y；實際值域可只是 Y 的子集。
函數映射 · qf-finite-function-mapping · candidate
92. 有限映射函數判定
令定義域 X={x22-1、x22-2、x22-3、x22-4}，陪域 Y={y22-1、y22-2、y22-3、y22-4、y22-5}。有限對應為 x22-1↦y22-1、x22-2↦y22-2、x22-3↦y22-1、x22-4↦y22-1、x22-2↦y22-3。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
否
x22-2 有兩個不同輸出，不符合每個輸入恰有一個輸出的條件。
函數映射 · qf-finite-function-mapping · candidate
93. 有限映射函數判定
令定義域 X={x23-1、x23-2、x23-3、x23-4}，陪域 Y={y23-1、y23-2、y23-3、y23-4、y23-5}。有限對應為 x23-1↦y23-1、x23-3↦y23-1、x23-4↦y23-1。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
否
x23-2 沒有指定輸出，不符合定義域中每個輸入都必須有輸出的條件。
函數映射 · qf-finite-function-mapping · candidate
94. 有限映射函數判定
令定義域 X={x24-1、x24-2、x24-3、x24-4}，陪域 Y={y24-1、y24-2、y24-3、y24-4、y24-5}。有限對應為 x24-1↦y24-1、x24-2↦z24、x24-3↦y24-1、x24-4↦y24-1。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
否
輸出 z24 不屬於明示陪域 Y，因此這不是所宣告的 f:X→Y；陪域與實際值域不可混同。
函數映射 · qf-finite-function-mapping · candidate
95. 有限映射函數判定
令定義域 X={x25-1、x25-2、x25-3、x25-4}，陪域 Y={y25-1、y25-2、y25-3、y25-4、y25-5}。有限對應為 x25-1↦y25-1、x25-2↦y25-2、x25-3↦y25-1、x25-4↦y25-2。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
是
X 的每個輸入各有一個輸出，且所有輸出都屬於陪域 Y；實際值域可只是 Y 的子集。
函數映射 · qf-finite-function-mapping · candidate
96. 有限映射函數判定
令定義域 X={x26-1、x26-2、x26-3、x26-4}，陪域 Y={y26-1、y26-2、y26-3、y26-4、y26-5}。有限對應為 x26-1↦y26-1、x26-2↦y26-2、x26-3↦y26-1、x26-4↦y26-2、x26-3↦y26-2。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
否
x26-3 有兩個不同輸出，不符合每個輸入恰有一個輸出的條件。
函數映射 · qf-finite-function-mapping · candidate
97. 有限映射函數判定
令定義域 X={x27-1、x27-2、x27-3、x27-4}，陪域 Y={y27-1、y27-2、y27-3、y27-4、y27-5}。有限對應為 x27-1↦y27-1、x27-2↦y27-2、x27-4↦y27-2。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
否
x27-3 沒有指定輸出，不符合定義域中每個輸入都必須有輸出的條件。
函數映射 · qf-finite-function-mapping · candidate
98. 有限映射函數判定
令定義域 X={x28-1、x28-2、x28-3、x28-4}，陪域 Y={y28-1、y28-2、y28-3、y28-4、y28-5}。有限對應為 x28-1↦y28-1、x28-2↦y28-2、x28-3↦z28、x28-4↦y28-2。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
否
輸出 z28 不屬於明示陪域 Y，因此這不是所宣告的 f:X→Y；陪域與實際值域不可混同。
函數映射 · qf-finite-function-mapping · candidate
99. 有限映射函數判定
令定義域 X={x29-1、x29-2、x29-3、x29-4}，陪域 Y={y29-1、y29-2、y29-3、y29-4、y29-5}。有限對應為 x29-1↦y29-1、x29-2↦y29-2、x29-3↦y29-1、x29-4↦y29-3。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
是
X 的每個輸入各有一個輸出，且所有輸出都屬於陪域 Y；實際值域可只是 Y 的子集。
函數映射 · qf-finite-function-mapping · candidate
100. 有限映射函數判定
令定義域 X={x30-1、x30-2、x30-3、x30-4}，陪域 Y={y30-1、y30-2、y30-3、y30-4、y30-5}。有限對應為 x30-1↦y30-1、x30-2↦y30-2、x30-3↦y30-1、x30-4↦y30-3、x30-4↦y30-4。它是否定義函數 f:X→Y？請把陪域 Y 與實際值域分開。
查看答案與解釋
否
x30-4 有兩個不同輸出，不符合每個輸入恰有一個輸出的條件。
函數映射 · qf-finite-function-mapping · candidate