論理変数の選択