英文
initial sequent
简介
一种条件蕴含式.指形如A→A的相继式.其中A是一个公式.在佩亚诺算术中,下列式子也称初始相继式(又称数学初始相继式):
t′=s′→s=t;
s′=0→;
→s+0=s;
→s+t′=(s+t)′;
→s·0=0;
→s·t′=s·t+s.
其中s·t是项.初始相继式实际上是根岑系统的公理.→A表示A为恒真式,A→表示A为恒假式.
数学百科
2023-06-05
initial sequent
一种条件蕴含式.指形如A→A的相继式.其中A是一个公式.在佩亚诺算术中,下列式子也称初始相继式(又称数学初始相继式):
t′=s′→s=t;
s′=0→;
→s+0=s;
→s+t′=(s+t)′;
→s·0=0;
→s·t′=s·t+s.
其中s·t是项.初始相继式实际上是根岑系统的公理.→A表示A为恒真式,A→表示A为恒假式.