Введение в математическую логику, Колмогоров А.Н., Драгалин А.Г., 1982

Введение в математическую логику, Колмогоров А.Н., Драгалин А.Г., 1982.

   Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и логики предикатов. Изложение не предполагает специальных знаний и рассчитано на студентов младших курсов.




О КЛАССИФИКАЦИИ СУЖДЕНИЙ И ТЕОРИИ СИЛЛОГИЗМОВ ПО АРИСТОТЕЛЮ.
1. В качестве первого упражнения в употреблении понятий и обозначений математической логики и теории множеств изложим на современном языке фрагмент традиционной логики Аристотеля.

Традиционная логика имеет дело с понятиями. Понятия делятся на единичные и общие. Единичное понятие — это просто имя определенного предмета. Общее понятие по содержанию определяется указанием совокупности свойств, характеризующих подпадающие под него предметы. Класс предметов, обладающих этой характеристической совокупностью свойств, образует объем понятия.

Свойства предметов в математической логике называются одноместными предикатами. В этом параграфе мы будем иметь дело только с одноместными предикатами и называть их просто предикатами, обозначая буквами F, G, Н. Выска-зывательную форму «предмет х обладает свойством F» будем записывать в виде F (х). Например, если F есть свойство «быть четным числом», то высказывания F(10) и F(1000) истинны, а высказывание F(1001) ложно.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Введение в математическую логику, Колмогоров А.Н., Драгалин А.Г., 1982 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать djvu
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - djvu - Яндекс.Диск.




Теги: учебник по математике :: математика :: Колмогоров :: Драгалин