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

一般用語集

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

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