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

じゆうへんこう【自由変項】とは｜一般用語

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