「命題」と「条件」
Statements and predicates
「x に関する条件 p」は、Levin（離散数学）では predicate に当たり、P(x) と書く。高校の Geometry の if-then の文（CK-12 Geometry 2.11）では、条件にあたる部分を hypothesis（仮定）・conclusion（結論）と呼ぶ。
日本
センター試験の問題文は、変数を含む文を「実数 x に関する次の条件 p，q，r，s」と呼び（平成30年度 本試験 数学Ⅰ・数学Ａ 第1問）、条件を組み合わせた「(p かつ q) ⟹ r」などを「命題」と呼んでその真偽を問う（平成29年度 同 第1問）。共通テストも「条件 p，q を次のように定める」と書く（令和3年度 第1日程 数学Ⅰ 第1問）。
米国
CK-12 Geometry は「If x = 3, then x² = 9.」のような文を conditional statement と呼び、x = 3 の部分を hypothesis、x² = 9 を conclusion と呼ぶ（2.11 If Then Statements。predicate の語は出てこない）。Levin は真偽が決まる文を statement（1.1.2 Atomic and Molecular Statements）、変数を含む文を predicate と呼び分け、P(x) と書く（1.1.3 Quantifiers and Predicates）。