二階の論理式