数学百科

相继式

2023-06-05

英文

sequent

简介

一种条件蕴含式.设Γ,Δ是有穷公式序列.那么Γ→Δ称为一个相继式.Γ和Δ分别称为这个相继式的前项和后项.如果Γ为A1,A2,…,Am;Δ为B1,B2,…,Bn(m,n≥1),那么Γ→Δ(即A1,A2,…,Am→B1,B2,…,Bn)表示若A1∧A2∧…∧Am成立,则B1∨B2∨…∨Bn成立.A1,A2,…,Am→意义为A1∧A2∧,…,∧Am是恒假式;→B1,B2,…,Bn意义为B1∨B2∨…∨Bn是恒真式.