ГОСТ Р И С 018629-11 — 2010
В.3.3.8 Существует (exists)
Экзистенционально квантифицируемое предложение является истинным только в том случае, если вло
женное предложение является истинным для некоторого значения переменных, указанных в аргументе «I»:
{
true т (<р((v,......vn))) = true для некоторых значений I — variant
вдругих случаях— false
В.3.3.9 Для всех (forall)
Универсально квантифицируемое предложение является истинным только в том случае, если вложенное
предложение является истинным для каждого значения переменных, указанных в аргументе «I»:
j B
T((forall (v, к v2)) =
(true г
г
(ср((v,
.....
v ))) = true для каждого значения I — variant
дру их случаях— false
18