命題関数
めいだいかんすう
名詞
標準
propositional (sentential) function
作例 · 標準
数理論理学の講義で、命題関数の定義と変数への値の代入について学んだ。
幻辭AI · gemini-3-flash-preview
この命題関数に特定の値を代入すると、真偽が確定する命題が得られる。
幻辭AI · gemini-3-flash-preview
複雑な数学的関係を表現するために、いくつかの命題関数を組み合わせて定義した。
幻辭AI · gemini-3-flash-preview