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

>>阅读原文<<