論理式かな?