СЕКВЕНЦИЯ
— выражение вида
, где
формулы. Читается так: «при допущениях
имеет место
или
. Левая часть этого выражения наз.антецедентом, правая — сукцедентом (консеквентом). Формула
(пустая конъюнкция обозначает ложь, пустая дизъюнкция — истину) наз. формульным образом С. При
называется односукцедентной.
Г. Е. Минц.
