- Заглавие: ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
- Год актуализации: 2014
- УДК: 004 Информационные технологии. Вычислительная техника...
- ББК: 3281 Кибернетика
- Тематики:
ИНФОРМАТИКА
- Биб. карточка:
ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ [Архитектура ЭВМ: Уч. пос. / В.Д. Колдаев - М.: ИД ФОРУМ: НИЦ ИНФРА-М, 2017. - 384 с.(ПО) (п) ISBN:978-5-8199-0373-5]
- Источник публикации: Архитектура ЭВМ: справочник
- Фрагмент статьи: ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ В древности мыслители пытались давать рецепты правильных умозаключений, которые от истинных посылок приводят только к истинным выводам. Таких мыслителей называли логиками. Наука установила общие методы правильных умозаключений, называе- мых формальной логикой. Термин «логика» происходит от древнегреческого слова logos, означающего «слово, мысль, понятие, рассуждение, закон». Понятие – это форма мышления, в которой отражены суще- ственные (отличительные) свойства объектов. Суждение– это форма мышления, отражающая связь понятий друг с другом. Умозаключение – это процесс получения нового суждения-вы- вода из одного или нескольких данных суждений. Высказывание– это любое предложение какого-либо языка (утверждение), содержание которого можно определить как ис- тинное или ложное.
