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