Что такое предикат в алгебре логики? Это переменное суждение, значение истинности которого зависит от значения одной или нескольких переменных. Предикаты обычно обозначаются заглавными латинскими буквами с перечислением переменных через запятую в круглых скобках. Алгебра логики: crocodata.io/...4-1
4 года назад
Введение в математическую логику
Мендельсон Эллиот (1976) В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Следует однако отметить, что в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики...