Prove that: If φ is provable by {A1,A2,A3} it's also provable by {A3 and the deduction theorem}

前端 未结 0 1784
暖寄归人
暖寄归人 2020-12-19 01:21

I tried proving that A1 , A2 are provable by A3 and the deduction theorem with no luck Any ideas?

相关标签:
回答
  • 消灭零回复
提交回复
热议问题