# 概念推導導讀

299 份概念教學導讀；另有 36,000 題逐題詳解，兩者分開查找。

[搜尋全部題目與詳解 →](/zh-Hant/explore/)

1共 1 項 · 第 1／1 頁



概念導讀



## [反例與論域資格：n²+n+11 的質數性、失敗集合與最小反例](/zh-Hant/derivations/derivation-mko-counterexample-01/?from=%2Fzh-Hant%2Fderivations%2F%3Fq%3Dmko-counterexample)

設 U={n∈ℤ ∣ 0≤n≤12}、V={n∈ℤ ∣ 0≤n≤9}、m(n)=n²+n+11、P(n)：「m(n) 是質數」。判定 φ_U：∀n∈U P(n)；求失敗集合 F_U 與最小反例；判定候選值 −11 的資格；並判定 φ_V：∀n∈V P(n)。

反例與論域資格

derivation-mko-counterexample-01





1共 1 項 · 第 1／1 頁