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