跳至主要內容
OCME中英數學知識與推導English

OCME · 中英數學知識與推導

概念推導導讀

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

搜尋全部題目與詳解 →

概念導讀

命題:判定候選語句是否為命題,並區分「是命題」與「已證明為真」

在入門古典語境中,逐一判定下列候選是否為命題;是命題者再判定真假並給出理由:s1「7 是質數」;s2「4 是質數」;s3「7 是質數嗎?」;s4「計算 3+4。」;s5「x>0」(x 是未指定的整數變數),以及 s5 的封閉版本:代入 x=2 與 x=−1、加上 ∀x∈ℤ、加上 ∃x∈ℤ。

命題

derivation-mko-proposition-01