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

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

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


  1. логика комбинаторная—комбинаторикалы логика...Орысша-қазақша «Математика» терминологиялық сөздік
  2. логика комбинаторная—от лат. combinare соединять сочетать одно из направлений в математической логике занимающееся анализом понятий которые в рамках классической математической логики приним...Словарь логики
  3. логика комбинаторная—ЛОГИКА КОМБИНАТОРНАЯ одно из направлений логики занимающихся ее основаниями т.е. такими осн. понятиями и методами крые при построении формальных логич. систем или исчисле...Философская энциклопедия