じゆうへんこう【自由変項】とは し X Facebook はてブ Pocket LINE コピー 2026.01.06 じゆうへんこう【自由変項】とは|一般用語 〔free variable〕述語論理の論理式の中で量記号の作用を受けていない変項。