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