does not mention

用語法 言葉

論理式が変数xを含まないことを

  • formula A does not mention x

と言っている例があった（出典はもう分からん）。mention, mentioning は分かりやすくていいと思う。

  • Aがxにmentionする ⇔ Aにxが出現する