条件付き主張の全称化