論理式について