补充资料：矢列式(逻辑中的)

矢列式(逻辑中的)
sequent (in logic)

矢列式(逻辑中的)【田叫田t(inl嗜c);ce姗。双N匆] 形如Al，…，A.‘BI，…，Bln的表示式，其中A，，…，A.，B，，…，B用是公式.它可解释为:在假定A，，…，A，，之下，B，，…，B。中至少有一成立.矢列式箭矢左边的部分称为它的前项(antecedent)，而右边部分称为它的后项(s‘ced-ent或cons叫uent).公式(A、%26…%26A。)夕(B，丫…VB，。)(注意空合取表示真，而空析取表示假)称为所给矢列式的公式象(fon刀ula川uge ofthes叫u-eni).r.E，M脚互撰【补注1某些学者(特别是其工作领域与构造逻辑有关的学者)把‘·矢列式”一词限于形如 A，，…，A。一B的表示式，即限于上述定义中，炸二1的特殊情形. 关于〔沁ntzen对矢列式演算(s叫uent calculus)的讨论，见C曰成z。形式系统(C吧爪zen fon刀als声-tem);矢列式演算(s叫uentcalculus)以及例如【AZ 1.

说明：补充资料仅用于学习参考，请勿用于其它任何用途。