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