23. функция одного переменного, в которой аргумент x пробегает значения из некоторого множества м, а функция принимает одно из двух значений: 1 (истина) или 0 (ложь), называется одноместным …
24. предикат называется … истинным на множестве определения, если область истинности совпадает с областью определения (ip = m).
25. предикат называется … ложным, если область истинности – пустое множество (ip= ø).