論理式
本はありません。