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

来源:学生作业帮助网 编辑:作业帮 时间:2024/11/06 00:38:59
离散数学中的自然推理符号Γ是什么意思?书上的例子,在做推理的时候,总是在每一行的开始处写上(1)Γ,p->q...(2)Γ,s->q...这个Γ到底是干嘛用的,有什么含义?to 1L:那个是┐,这个Γ是希腊字母(Tao)
x[N@#$)  Mr"`){!a̔'ഃ$`|m9/#x9"l)Uޠz'P{IŽJAvx]Sgmw*͈U6U6 (tXF4DiPxῳtSun3r^HKH7}R&ImFô sUvϗlK^31:C!8Oa8"x, Ymk<lsv+iK nrN!)AvֈYE7{ȹYDP

离散数学中的自然推理符号Γ是什么意思?书上的例子,在做推理的时候,总是在每一行的开始处写上(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