数学百科

初始相继式

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为恒假式.