Предикат Р(х), определенный на мн-ве Х, называется истинно тождественным, если его мн-во истинности совпадает с областью определения
Например : х2 ≥0
D = R
Е = (0; +∞)
Т(р) = (0; +∞)
Предикат Р(х), определенный на мн-ве Х, называется тождественно ложным, если его мн-во истинности является пустым мн-вом.
Например: х2 ≤ 0
D = R
Е = (1; +∞)
Т(р) = ᴓ