Обо­зна­чим через ДЕЛ(n, m) утвер­жде­ние «на­ту­раль­ное число n де­лит­ся без остат­ка на на­ту­раль­ное число m»; пусть на чис­ло­вой пря­мой дан от­ре­зок B  =  [70; 90].

Для ка­ко­го наи­боль­ше­го на­ту­раль­но­го числа А ло­ги­че­ское вы­ра­же­ние

ис­тин­но (т. е. при­ни­ма­ет зна­че­ние 1) при любом целом по­ло­жи­тель­ном зна­че­нии пе­ре­мен­ной х?