用語集一般用語集>じゆうへんこう【自由変項】

一般用語集


じゆうへんこう【自由変項】 一般用語集 し


項目 じゆうへんこう【自由変項】
意味 〔free variable〕述語論理の論理式の中で量記号の作用を受けていない変項。


一般用語集 五十音順