Что такое предикат в алгебре логики? Это переменное суждение, значение истинности которого зависит от значения одной или нескольких переменных. Предикаты обычно обозначаются заглавными латинскими буквами с перечислением переменных через запятую в круглых скобках. Алгебра логики: crocodata.io/...4-1