n. 【論理】 命題関数《「x は人間である」のように, 個体変項[数] x の部分に値としての個体の名前が代入されることによって真か偽の値をとる形式; cf. open sentence》.