ЛОГИКА КОМБИНАТОРНАЯ

ЛОГИКА КОМБИНАТОРНАЯ (от лат. combinare — соединять, соче­тать)  — одно из направлений в математической логике, занимаю­щееся анализом понятий, которые в рамках классической мате­матической логики принимаются без дальнейшего изучения (напр., понятия "переменная", "функция", "правила подстановки" и т. д.). В классической математической логике пользуются правилами двух родов. Первые формулируются просто и используются без всяких ограничений. Таково, напр., правило модус поненс. Оно формули­руется так: если даны предложения "Если A, то B" и "A", то из них может быть выведено предложение "B". Это правило доступно для одноактного автоматического выполнения. Другие правила (напр., правило подстановки) формулируются сложно и пред­полагают ряд ограничений и оговорок. Одной из задач Л. к. явля­ется создание таких формальных систем, где не будет встречаться правил, подобных правилу подстановки.



Словарь по логике 

ЛОГИКА МНОГОЗНАЧНАЯ →← ЛОГИКА КЛАССОВ

T: 0.122756065 M: 3 D: 3