Суждение
В математической логике
- В двоичной логике суждение принимает одно из двух значений истинности: истина (1) или ложь (0)
- Констатное суждение или высказывание — это повествовательное предложение, выражающее суждение
- Переменное суждение или предикат — это суждение, значение истинности которого зависит от значения одной или нескольких переменных