Что такое Логика Комбинаторная? Значение и толкование слова logika kombinatornaja, определение термина

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

Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:

Логика Многозначная - см.: Многозначная логика.

Логика Научного Познания - или: Логика науки,  -применение идей, методов и аппарата логики в анализе научно­го познания....

Логика Неклассическая -  - совокупность логических тео­рий, возникших в известной оппозиции к логике классической и...

Логика Норм - см.: Деонтическая логика.

Логика Отношений -  - раздел логики, изучающий свойства высказываний об отношениях между объектами различной...

Логика Предикатов - или: Функциональная логика, теория квантификации, кванторная логика,  - основ­ной раздел...

Логика Традиционная - см.: Традиционная логика.

Логика Эпистемическая - (от греч. episteme - знание)  - раз­дел модальной логики, исследующий логические связи...