2017年哈工大数理逻辑B期末考试参考答案(2)

六 、 在 N D 中 证 明 ： 6、在ND中证实： 六、在ND中证明： ( 1 ) ⊢ ( ¬ A ∨ B ) ∧ ( ¬ B ∨ C ) → ( ¬ A ∨ C ) (1)\vdash (\neg A\lor B)\land (\neg B\lor C)\to (\neg A\lor C) (1)⊢(¬A∨B)∧(¬B∨C)→(¬A∨C) 只 需 证 ( ¬ A ∨ B ) ∧ ( ¬ B

>>阅读原文<<