コトバンクはYahoo!辞書と技術提携しています。

自由変項 じゆうへんこう

大辞林 第三版の解説

じゆうへんこう【自由変項】

述語論理の論理式の中で量記号の作用を受けていない変項。

出典|三省堂大辞林 第三版について | 情報

自由変項の関連キーワード述語論理数量詞論理式量記号作用変項

今日のキーワード

存亡の機

引き続き存在するかここで滅びてしまうかという非常に重大な時。存亡の秋(とき)。...

続きを読む

コトバンク for iPhone

コトバンク for Android