論理式のクラス