If there is no element of the domain of discourse for which the statement is true, then it must be false for all of those elements.
Якщо немає елементів області дискурсу, для якого судження істинне, то воно повинно бути хибним для всіх таких елементів.