Математическая энциклопедия - секвенция

выражение вида где A1,. . ., А n, B1, . . ., В т- формулы. Читается: "при допущениях A1, . . ., А n имеет место В 1 или B2, или . . ., или В т". Часть С., стоящая слева от стрелки, наз. а н т е ц е д е н т о м; часть С., стоящая справа от стрелки, наз. сукцедентом (консеквентом). Формула (пустая конъюнкция обозначает ложь, пустая дизъюнкция истину) наз. ф о р м у л ь н ы м о б р а з о м С. Г. Е. Минц.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985