概念導讀
反例與論域資格：n²+n+11 的質數性、失敗集合與最小反例
設 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)。
OCME · 中英數學知識與推導
概念推導導讀
299 份概念教學導讀；另有 36,000 題逐題詳解，兩者分開查找。
OCME · 中英數學知識與推導
299 份概念教學導讀；另有 36,000 題逐題詳解，兩者分開查找。
概念導讀
設 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)。