# 數學基礎語言 本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。 本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。 batch-20260913-foundational-language · 2026-09-13 · 100 題 ## 1. 自然數隸屬判定 依 OCME 本條目「N 包含 0」的慣例，0 是否屬於 N？ 查看答案與解釋是 0 是包含 0 的非負整數，因此依本條目慣例屬於 N。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-natural-number-membership-0001/) 自然數 · qf-natural-number-membership · candidate ## 2. 自然數隸屬判定 依 OCME 本條目「N 包含 0」的慣例，1 是否屬於 N？ 查看答案與解釋是 1 是包含 0 的非負整數，因此依本條目慣例屬於 N。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-natural-number-membership-0002/) 自然數 · qf-natural-number-membership · candidate ## 3. 自然數隸屬判定 依 OCME 本條目「N 包含 0」的慣例，2 是否屬於 N？ 查看答案與解釋是 2 是包含 0 的非負整數，因此依本條目慣例屬於 N。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-natural-number-membership-0003/) 自然數 · qf-natural-number-membership · candidate ## 4. 自然數隸屬判定 依 OCME 本條目「N 包含 0」的慣例，5 是否屬於 N？ 查看答案與解釋是 5 是包含 0 的非負整數，因此依本條目慣例屬於 N。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-natural-number-membership-0004/) 自然數 · qf-natural-number-membership · candidate ## 5. 自然數隸屬判定 依 OCME 本條目「N 包含 0」的慣例，10 是否屬於 N？ 查看答案與解釋是 10 是包含 0 的非負整數，因此依本條目慣例屬於 N。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-natural-number-membership-0005/) 自然數 · qf-natural-number-membership · candidate ## 6. 自然數隸屬判定 依 OCME 本條目「N 包含 0」的慣例，25 是否屬於 N？ 查看答案與解釋是 25 是包含 0 的非負整數，因此依本條目慣例屬於 N。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-natural-number-membership-0006/) 自然數 · qf-natural-number-membership · candidate ## 7. 自然數隸屬判定 依 OCME 本條目「N 包含 0」的慣例，100 是否屬於 N？ 查看答案與解釋是 100 是包含 0 的非負整數，因此依本條目慣例屬於 N。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-natural-number-membership-0007/) 自然數 · qf-natural-number-membership · candidate ## 8. 自然數隸屬判定 依 OCME 本條目「N 包含 0」的慣例，7 是否屬於 N？ 查看答案與解釋是 7 是包含 0 的非負整數，因此依本條目慣例屬於 N。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-natural-number-membership-0008/) 自然數 · qf-natural-number-membership · candidate ## 9. 自然數隸屬判定 依 OCME 本條目「N 包含 0」的慣例，3 是否屬於 N？ 查看答案與解釋是 3 是包含 0 的非負整數，因此依本條目慣例屬於 N。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-natural-number-membership-0009/) 自然數 · qf-natural-number-membership · candidate ## 10. 自然數隸屬判定 依 OCME 本條目「N 包含 0」的慣例，12 是否屬於 N？ 查看答案與解釋是 12 是包含 0 的非負整數，因此依本條目慣例屬於 N。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-natural-number-membership-0010/) 自然數 · qf-natural-number-membership · candidate ## 11. 自然數隸屬判定 依 OCME 本條目「N 包含 0」的慣例，-1 是否屬於 N？ 查看答案與解釋否 -1 不符合本條目所用 N 的非負整數範圍；此判定只採 OCME 的包含 0 慣例。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-natural-number-membership-0011/) 自然數 · qf-natural-number-membership · candidate ## 12. 自然數隸屬判定 依 OCME 本條目「N 包含 0」的慣例，-2 是否屬於 N？ 查看答案與解釋否 -2 不符合本條目所用 N 的非負整數範圍；此判定只採 OCME 的包含 0 慣例。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-natural-number-membership-0012/) 自然數 · qf-natural-number-membership · candidate ## 13. 自然數隸屬判定 依 OCME 本條目「N 包含 0」的慣例，-10 是否屬於 N？ 查看答案與解釋否 -10 不符合本條目所用 N 的非負整數範圍；此判定只採 OCME 的包含 0 慣例。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-natural-number-membership-0013/) 自然數 · qf-natural-number-membership · candidate ## 14. 自然數隸屬判定 依 OCME 本條目「N 包含 0」的慣例，-25 是否屬於 N？ 查看答案與解釋否 -25 不符合本條目所用 N 的非負整數範圍；此判定只採 OCME 的包含 0 慣例。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-natural-number-membership-0014/) 自然數 · qf-natural-number-membership · candidate ## 15. 自然數隸屬判定 依 OCME 本條目「N 包含 0」的慣例，-100 是否屬於 N？ 查看答案與解釋否 -100 不符合本條目所用 N 的非負整數範圍；此判定只採 OCME 的包含 0 慣例。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-natural-number-membership-0015/) 自然數 · qf-natural-number-membership · candidate ## 16. 自然數隸屬判定 依 OCME 本條目「N 包含 0」的慣例，-0.5 是否屬於 N？ 查看答案與解釋否 -0.5 不符合本條目所用 N 的非負整數範圍；此判定只採 OCME 的包含 0 慣例。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-natural-number-membership-0016/) 自然數 · qf-natural-number-membership · candidate ## 17. 自然數隸屬判定 依 OCME 本條目「N 包含 0」的慣例，0.5 是否屬於 N？ 查看答案與解釋否 0.5 不符合本條目所用 N 的非負整數範圍；此判定只採 OCME 的包含 0 慣例。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-natural-number-membership-0017/) 自然數 · qf-natural-number-membership · candidate ## 18. 自然數隸屬判定 依 OCME 本條目「N 包含 0」的慣例，1.5 是否屬於 N？ 查看答案與解釋否 1.5 不符合本條目所用 N 的非負整數範圍；此判定只採 OCME 的包含 0 慣例。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-natural-number-membership-0018/) 自然數 · qf-natural-number-membership · candidate ## 19. 自然數隸屬判定 依 OCME 本條目「N 包含 0」的慣例，2.25 是否屬於 N？ 查看答案與解釋否 2.25 不符合本條目所用 N 的非負整數範圍；此判定只採 OCME 的包含 0 慣例。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-natural-number-membership-0019/) 自然數 · qf-natural-number-membership · candidate ## 20. 自然數隸屬判定 依 OCME 本條目「N 包含 0」的慣例，-3.75 是否屬於 N？ 查看答案與解釋否 -3.75 不符合本條目所用 N 的非負整數範圍；此判定只採 OCME 的包含 0 慣例。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-natural-number-membership-0020/) 自然數 · qf-natural-number-membership · candidate ## 21. 有限集合隸屬判定 令 A={1、2} 為明示列舉的有限集合。2 是否滿足 2∈A？ 查看答案與解釋是 2 出現在 A 的明示列舉中，因此 2∈A。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0001/) 集合隸屬 · qf-finite-set-membership · candidate ## 22. 有限集合隸屬判定 令 A={11、12、13} 為明示列舉的有限集合。18 是否滿足 18∈A？ 查看答案與解釋否 18 未出現在 A 的明示列舉中，因此 18∉A；本題只判定這個有限列舉。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0002/) 集合隸屬 · qf-finite-set-membership · candidate ## 23. 有限集合隸屬判定 令 A={21、22、23、24} 為明示列舉的有限集合。24 是否滿足 24∈A？ 查看答案與解釋是 24 出現在 A 的明示列舉中，因此 24∈A。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0003/) 集合隸屬 · qf-finite-set-membership · candidate ## 24. 有限集合隸屬判定 令 A={31、32} 為明示列舉的有限集合。37 是否滿足 37∈A？ 查看答案與解釋否 37 未出現在 A 的明示列舉中，因此 37∉A；本題只判定這個有限列舉。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0004/) 集合隸屬 · qf-finite-set-membership · candidate ## 25. 有限集合隸屬判定 令 A={41、42、43} 為明示列舉的有限集合。43 是否滿足 43∈A？ 查看答案與解釋是 43 出現在 A 的明示列舉中，因此 43∈A。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0005/) 集合隸屬 · qf-finite-set-membership · candidate ## 26. 有限集合隸屬判定 令 A={51、52、53、54} 為明示列舉的有限集合。59 是否滿足 59∈A？ 查看答案與解釋否 59 未出現在 A 的明示列舉中，因此 59∉A；本題只判定這個有限列舉。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0006/) 集合隸屬 · qf-finite-set-membership · candidate ## 27. 有限集合隸屬判定 令 A={61、62} 為明示列舉的有限集合。62 是否滿足 62∈A？ 查看答案與解釋是 62 出現在 A 的明示列舉中，因此 62∈A。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0007/) 集合隸屬 · qf-finite-set-membership · candidate ## 28. 有限集合隸屬判定 令 A={71、72、73} 為明示列舉的有限集合。78 是否滿足 78∈A？ 查看答案與解釋否 78 未出現在 A 的明示列舉中，因此 78∉A；本題只判定這個有限列舉。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0008/) 集合隸屬 · qf-finite-set-membership · candidate ## 29. 有限集合隸屬判定 令 A={81、82、83、84} 為明示列舉的有限集合。82 是否滿足 82∈A？ 查看答案與解釋是 82 出現在 A 的明示列舉中，因此 82∈A。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0009/) 集合隸屬 · qf-finite-set-membership · candidate ## 30. 有限集合隸屬判定 令 A={91、92} 為明示列舉的有限集合。97 是否滿足 97∈A？ 查看答案與解釋否 97 未出現在 A 的明示列舉中，因此 97∉A；本題只判定這個有限列舉。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0010/) 集合隸屬 · qf-finite-set-membership · candidate ## 31. 有限集合隸屬判定 令 A={101、102、103} 為明示列舉的有限集合。103 是否滿足 103∈A？ 查看答案與解釋是 103 出現在 A 的明示列舉中，因此 103∈A。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0011/) 集合隸屬 · qf-finite-set-membership · candidate ## 32. 有限集合隸屬判定 令 A={111、112、113、114} 為明示列舉的有限集合。119 是否滿足 119∈A？ 查看答案與解釋否 119 未出現在 A 的明示列舉中，因此 119∉A；本題只判定這個有限列舉。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0012/) 集合隸屬 · qf-finite-set-membership · candidate ## 33. 有限集合隸屬判定 令 A={121、122} 為明示列舉的有限集合。122 是否滿足 122∈A？ 查看答案與解釋是 122 出現在 A 的明示列舉中，因此 122∈A。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0013/) 集合隸屬 · qf-finite-set-membership · candidate ## 34. 有限集合隸屬判定 令 A={131、132、133} 為明示列舉的有限集合。138 是否滿足 138∈A？ 查看答案與解釋否 138 未出現在 A 的明示列舉中，因此 138∉A；本題只判定這個有限列舉。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0014/) 集合隸屬 · qf-finite-set-membership · candidate ## 35. 有限集合隸屬判定 令 A={141、142、143、144} 為明示列舉的有限集合。144 是否滿足 144∈A？ 查看答案與解釋是 144 出現在 A 的明示列舉中，因此 144∈A。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0015/) 集合隸屬 · qf-finite-set-membership · candidate ## 36. 有限集合隸屬判定 令 A={151、152} 為明示列舉的有限集合。157 是否滿足 157∈A？ 查看答案與解釋否 157 未出現在 A 的明示列舉中，因此 157∉A；本題只判定這個有限列舉。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0016/) 集合隸屬 · qf-finite-set-membership · candidate ## 37. 有限集合隸屬判定 令 A={161、162、163} 為明示列舉的有限集合。163 是否滿足 163∈A？ 查看答案與解釋是 163 出現在 A 的明示列舉中，因此 163∈A。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0017/) 集合隸屬 · qf-finite-set-membership · candidate ## 38. 有限集合隸屬判定 令 A={171、172、173、174} 為明示列舉的有限集合。179 是否滿足 179∈A？ 查看答案與解釋否 179 未出現在 A 的明示列舉中，因此 179∉A；本題只判定這個有限列舉。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0018/) 集合隸屬 · qf-finite-set-membership · candidate ## 39. 有限集合隸屬判定 令 A={181、182} 為明示列舉的有限集合。182 是否滿足 182∈A？ 查看答案與解釋是 182 出現在 A 的明示列舉中，因此 182∈A。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0019/) 集合隸屬 · qf-finite-set-membership · candidate ## 40. 有限集合隸屬判定 令 A={191、192、193} 為明示列舉的有限集合。198 是否滿足 198∈A？ 查看答案與解釋否 198 未出現在 A 的明示列舉中，因此 198∉A；本題只判定這個有限列舉。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0020/) 集合隸屬 · qf-finite-set-membership · candidate ## 41. 有限集合隸屬判定 令 A={201、202、203、204} 為明示列舉的有限集合。202 是否滿足 202∈A？ 查看答案與解釋是 202 出現在 A 的明示列舉中，因此 202∈A。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0021/) 集合隸屬 · qf-finite-set-membership · candidate ## 42. 有限集合隸屬判定 令 A={211、212} 為明示列舉的有限集合。217 是否滿足 217∈A？ 查看答案與解釋否 217 未出現在 A 的明示列舉中，因此 217∉A；本題只判定這個有限列舉。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0022/) 集合隸屬 · qf-finite-set-membership · candidate ## 43. 有限集合隸屬判定 令 A={221、222、223} 為明示列舉的有限集合。223 是否滿足 223∈A？ 查看答案與解釋是 223 出現在 A 的明示列舉中，因此 223∈A。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0023/) 集合隸屬 · qf-finite-set-membership · candidate ## 44. 有限集合隸屬判定 令 A={231、232、233、234} 為明示列舉的有限集合。239 是否滿足 239∈A？ 查看答案與解釋否 239 未出現在 A 的明示列舉中，因此 239∉A；本題只判定這個有限列舉。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0024/) 集合隸屬 · qf-finite-set-membership · candidate ## 45. 有限集合隸屬判定 令 A={241、242} 為明示列舉的有限集合。242 是否滿足 242∈A？ 查看答案與解釋是 242 出現在 A 的明示列舉中，因此 242∈A。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-set-membership-0025/) 集合隸屬 · qf-finite-set-membership · candidate ## 46. 命題分類 在本題指定的入門古典邏輯語境中，「0 屬於本條目所用的 N。」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋是 它是可在指定古典語境談論真假的封閉陳述；是命題不表示它已被證明為真。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0001/) 命題 · qf-proposition-classification · candidate ## 47. 命題分類 在本題指定的入門古典邏輯語境中，「7=7。」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋是 它是可在指定古典語境談論真假的封閉陳述；是命題不表示它已被證明為真。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0002/) 命題 · qf-proposition-classification · candidate ## 48. 命題分類 在本題指定的入門古典邏輯語境中，「3 大於 9。」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋是 它是可在指定古典語境談論真假的封閉陳述；是命題不表示它已被證明為真。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0003/) 命題 · qf-proposition-classification · candidate ## 49. 命題分類 在本題指定的入門古典邏輯語境中，「0=1。」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋是 它是可在指定古典語境談論真假的封閉陳述；是命題不表示它已被證明為真。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0004/) 命題 · qf-proposition-classification · candidate ## 50. 命題分類 在本題指定的入門古典邏輯語境中，「5 小於 8。」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋是 它是可在指定古典語境談論真假的封閉陳述；是命題不表示它已被證明為真。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0005/) 命題 · qf-proposition-classification · candidate ## 51. 命題分類 在本題指定的入門古典邏輯語境中，「x>0。」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋否 它含未指定的自由變數，是未封閉開放句；須指定、代入或量化後才可評估。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0006/) 命題 · qf-proposition-classification · candidate ## 52. 命題分類 在本題指定的入門古典邏輯語境中，「n 是偶數。」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋否 它含未指定的自由變數，是未封閉開放句；須指定、代入或量化後才可評估。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0007/) 命題 · qf-proposition-classification · candidate ## 53. 命題分類 在本題指定的入門古典邏輯語境中，「y∈A。」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋否 它含未指定的自由變數，是未封閉開放句；須指定、代入或量化後才可評估。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0008/) 命題 · qf-proposition-classification · candidate ## 54. 命題分類 在本題指定的入門古典邏輯語境中，「a+b=c。」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋否 它含未指定的自由變數，是未封閉開放句；須指定、代入或量化後才可評估。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0009/) 命題 · qf-proposition-classification · candidate ## 55. 命題分類 在本題指定的入門古典邏輯語境中，「f(x)=y。」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋否 它含未指定的自由變數，是未封閉開放句；須指定、代入或量化後才可評估。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0010/) 命題 · qf-proposition-classification · candidate ## 56. 命題分類 在本題指定的入門古典邏輯語境中，「x 是否大於 0？」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋否 它是疑問句，不是可直接斷言或否定的封閉陳述。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0011/) 命題 · qf-proposition-classification · candidate ## 57. 命題分類 在本題指定的入門古典邏輯語境中，「0 是否屬於 N？」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋否 它是疑問句，不是可直接斷言或否定的封閉陳述。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0012/) 命題 · qf-proposition-classification · candidate ## 58. 命題分類 在本題指定的入門古典邏輯語境中，「這個集合有幾個元素？」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋否 它是疑問句，不是可直接斷言或否定的封閉陳述。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0013/) 命題 · qf-proposition-classification · candidate ## 59. 命題分類 在本題指定的入門古典邏輯語境中，「f 是否為函數？」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋否 它是疑問句，不是可直接斷言或否定的封閉陳述。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0014/) 命題 · qf-proposition-classification · candidate ## 60. 命題分類 在本題指定的入門古典邏輯語境中，「你能判定 P 嗎？」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋否 它是疑問句，不是可直接斷言或否定的封閉陳述。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0015/) 命題 · qf-proposition-classification · candidate ## 61. 命題分類 在本題指定的入門古典邏輯語境中，「請把 x 設為 0。」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋否 它是命令句，不是可直接斷言或否定的封閉陳述。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0016/) 命題 · qf-proposition-classification · candidate ## 62. 命題分類 在本題指定的入門古典邏輯語境中，「計算這個距離。」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋否 它是命令句，不是可直接斷言或否定的封閉陳述。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0017/) 命題 · qf-proposition-classification · candidate ## 63. 命題分類 在本題指定的入門古典邏輯語境中，「找出集合 A 的元素。」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋否 它是命令句，不是可直接斷言或否定的封閉陳述。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0018/) 命題 · qf-proposition-classification · candidate ## 64. 命題分類 在本題指定的入門古典邏輯語境中，「證明 P。」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋否 它是命令句，不是可直接斷言或否定的封閉陳述。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0019/) 命題 · qf-proposition-classification · candidate ## 65. 命題分類 在本題指定的入門古典邏輯語境中，「把輸入映到 Y。」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋否 它是命令句，不是可直接斷言或否定的封閉陳述。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0020/) 命題 · qf-proposition-classification · candidate ## 66. 命題分類 在本題指定的入門古典邏輯語境中，「任一數等於它自己。」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋是 它是可在指定古典語境談論真假的封閉陳述；是命題不表示它已被證明為真。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0021/) 命題 · qf-proposition-classification · candidate ## 67. 命題分類 在本題指定的入門古典邏輯語境中，「z+1=4。」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋否 它含未指定的自由變數，是未封閉開放句；須指定、代入或量化後才可評估。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0022/) 命題 · qf-proposition-classification · candidate ## 68. 命題分類 在本題指定的入門古典邏輯語境中，「P 已被證明了嗎？」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋否 它是疑問句，不是可直接斷言或否定的封閉陳述。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0023/) 命題 · qf-proposition-classification · candidate ## 69. 命題分類 在本題指定的入門古典邏輯語境中，「不要把 P 當成已證明。」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋否 它是命令句，不是可直接斷言或否定的封閉陳述。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0024/) 命題 · qf-proposition-classification · candidate ## 70. 命題分類 在本題指定的入門古典邏輯語境中，「存在一個數等於 0。」 是否為命題？只分類，不判定真偽或證明狀態。 查看答案與解釋是 它是可在指定古典語境談論真假的封閉陳述；是命題不表示它已被證明為真。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-proposition-classification-0025/) 命題 · 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 的子集。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0001/) 函數映射 · 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 有兩個不同輸出，不符合每個輸入恰有一個輸出的條件。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0002/) 函數映射 · 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 沒有指定輸出，不符合定義域中每個輸入都必須有輸出的條件。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0003/) 函數映射 · 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；陪域與實際值域不可混同。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0004/) 函數映射 · 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 的子集。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0005/) 函數映射 · 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 有兩個不同輸出，不符合每個輸入恰有一個輸出的條件。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0006/) 函數映射 · 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 沒有指定輸出，不符合定義域中每個輸入都必須有輸出的條件。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0007/) 函數映射 · 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；陪域與實際值域不可混同。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0008/) 函數映射 · 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 的子集。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0009/) 函數映射 · 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 有兩個不同輸出，不符合每個輸入恰有一個輸出的條件。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0010/) 函數映射 · 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 沒有指定輸出，不符合定義域中每個輸入都必須有輸出的條件。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0011/) 函數映射 · 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；陪域與實際值域不可混同。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0012/) 函數映射 · 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 的子集。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0013/) 函數映射 · 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 有兩個不同輸出，不符合每個輸入恰有一個輸出的條件。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0014/) 函數映射 · 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 沒有指定輸出，不符合定義域中每個輸入都必須有輸出的條件。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0015/) 函數映射 · 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；陪域與實際值域不可混同。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0016/) 函數映射 · 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 的子集。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0017/) 函數映射 · 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 有兩個不同輸出，不符合每個輸入恰有一個輸出的條件。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0018/) 函數映射 · 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 沒有指定輸出，不符合定義域中每個輸入都必須有輸出的條件。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0019/) 函數映射 · 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；陪域與實際值域不可混同。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0020/) 函數映射 · 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 的子集。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0021/) 函數映射 · 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 有兩個不同輸出，不符合每個輸入恰有一個輸出的條件。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0022/) 函數映射 · 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 沒有指定輸出，不符合定義域中每個輸入都必須有輸出的條件。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0023/) 函數映射 · 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；陪域與實際值域不可混同。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0024/) 函數映射 · 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 的子集。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0025/) 函數映射 · 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 有兩個不同輸出，不符合每個輸入恰有一個輸出的條件。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0026/) 函數映射 · 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 沒有指定輸出，不符合定義域中每個輸入都必須有輸出的條件。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0027/) 函數映射 · 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；陪域與實際值域不可混同。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0028/) 函數映射 · 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 的子集。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0029/) 函數映射 · 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 有兩個不同輸出，不符合每個輸入恰有一個輸出的條件。 [本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20260913-finite-function-mapping-0030/) 函數映射 · qf-finite-function-mapping · candidate [原始題目 JSONL](https://ocme.evemisslab.com/data/questions/batches/batch-20260913-foundational-language/questions.jsonl) · [驗收報告](https://ocme.evemisslab.com/data/questions/batches/batch-20260913-foundational-language/validation-report.json)