离散数学中的自然推理符号Γ是什么意思?
书上的例子，在做推理的时候，总是在每一行的开始处写上(1)Γ,p->q...(2)Γ,s->q...这个Γ到底是干嘛用的，有什么含义?to1L:那个是┐，这个Γ是希腊字母...
书上的例子，在做推理的时候，总是在每一行的开始处写上
(1)Γ, p->q...
(2)Γ, s->q...
这个Γ到底是干嘛用的，有什么含义?
to 1L: 那个是┐，这个Γ是希腊字母(Tao) 展开
(1)Γ, p->q...
(2)Γ, s->q...
这个Γ到底是干嘛用的，有什么含义?
to 1L: 那个是┐，这个Γ是希腊字母(Tao) 展开
4个回答
展开全部
表示逻辑上的 非
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
展开全部
┐，是非，即p不成立则推出q
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
展开全部
表示的是逻辑的基本公理
本回答被提问者采纳
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
展开全部
非
参考资料： 无
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
更多回答（2）
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
