首页
话题
动态
专家
文章
作者
公告
更多
积分规则
登录 或 注册
首页
话题
动态
专家
文章
作者
公告
积分规则
发表新帖
发表新帖
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?
相关标签:
回答
消灭零回复
验证码
看不清?
提交回复
热议问题