余論理式