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