离散数学中的自然推理符号Γ是什么意思?书上的例子,在做推理的时候,总是在每一行的开始处写上(1)Γ,p->q...(2)Γ,s->q...这个Γ到底是干嘛用的,有什么含义?to 1L:那个是┐，这个Γ是希腊字母(Tao) - 唯久问答

离散数学中的自然推理符号Γ是什么意思?书上的例子,在做推理的时候,总是在每一行的开始处写上(1)Γ,p->q...(2)Γ,s->q...这个Γ到底是干嘛用的,有什么含义?to 1L:那个是┐，这个Γ是希腊字母(Tao)

2019-03-31

离散数学中的自然推理符号Γ是什么意思?
书上的例子,在做推理的时候,总是在每一行的开始处写上
(1)Γ,p->q...
(2)Γ,s->q...
这个Γ到底是干嘛用的,有什么含义?
to 1L:那个是┐，这个Γ是希腊字母(Tao)

优质解答

表示的是逻辑的基本公理表示的是逻辑的基本公理

相关标签：离散数学

相关问答