" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

СЕКВЕНЦИЯ

Значение СЕКВЕНЦИЯ в математической энциклопедии:

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