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

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/15 09:23:27
离散数学中的自然推理符号Γ是什么意思?书上的例子,在做推理的时候,总是在每一行的开始处写上(1)Γ,p->q...(2)Γ,s->q...这个Γ到底是干嘛用的,有什么含义?to 1L:那个是┐,这个Γ是希腊字母(Tao)

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

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

表示逻辑上的 非

┐,是非,即p不成立则推出q