(от лат. combinare — соединять , сочетать) — одно из направлений в математической логике, занимающееся анализом понятий, которые в рамках классической математической логики принимаются без дальнейшего изучения (напр., понятия «переменная», «функция», « правила подстановки» и т. д.). В классической математической логике пользуются правилами двух родов. Первые формулируются просто и используются без всяких ограничений. Таково, напр., правило модус поненс. Оно формулируется так: если даны предложения « Если A, то B» и «A», то из них может быть выведено предложение «B». Это правило доступно для одноактного автоматического выполнения. Другие правила (напр., правило подстановки) формулируются сложно и предполагают ряд ограничений и оговорок. Одной из задач Л. к. является создание таких формальных систем, где не будет встречаться правил, подобных правилу подстановки.
Что такое Логика Комбинаторная? Значение Логика Комбинаторная в словаре логики
Логика Комбинаторная - (от лат. combinare — соединять, сочетать) — одно из направлений в математической логике, занимающееся анализом понятий, которые в рамках классической математической логики принимаются без дальнейшего изучения (напр., понятия «переменная», «функция», «правила подстановки» и т. д.). В классической математической логике пользуются правилами двух родов. Первые формулируются просто и используются без всяких ограничений. Таково, напр., правило модус поненс. Оно формулируется так: если даны предложения «Если A, то B» и «A», то из них может быть выведено предложение «B». Это правило доступно для одноактного автоматического выполнения. Другие правила (напр., правило подстановки) формулируются сложно и предполагают ряд ограничений и оговорок. Одной из задач Л. к. является создание таких формальных систем, где не будет встречаться правил, подобных правилу подстановки.
Узнайте лексическое, прямое, переносное значение следующих слов:
- Модель - (от лат. modulus — мера, образец, норма) — ...
- Модальная Логика - — раздел неклассической логики, в котором исследуются логические ...
- Многозначность - — характеристика выражения, имеющего в разных контекстах разное ...
- Многозначная Логика - совокупность логических систем, опирающихся на принцип многозначности. ...
- Методологическая Аргументация - обоснование отдельного утверждения или целостной концепции путем ...
- Метаязык - (от греч. meta после, за, позади) ...
- Метатеория - (от греч. meta после, за, позади) ...
- Круг В Определении - — логическая ошибка, связанная с нарушением одного из ...
- Косвенное Доказательство - доказательство, в котором истинность тезиса устанавливается путем ...
- Концепт - (от лат. conceptus— понятие) — содержание понятия, то ...
- Контрапозиции Закон - общее название для ряда логических законов, позволяющих ...
- Контекстуальное Определение - см.: Определение контекстуальное. ...
- Конструктивная Логика - одно из направлений современной логики, изучающее рассуждения ...
- Конвенция - (от лат. conventio соглашение) договор, соглашение, ...
- Рациональность - (от лат. ratio разум) относящееся к ...