Дискретная математика. Элементы логико-математического языка

Одним из средств отражения внутреннего и внешнего мира человека является естественный язык. Описание «мира математических предметов», т.е. системы, состоящей из математических объектов, их свойств и отношений между ними, а также логических связей между двумя последними совершается на формализованном так называемым логико-математическом языке (ЛМЯ). Данный раздел посвящен изложению только его основ. Об отдельных фрагментах ЛМЯ, не рассматриваемых здесь, речь пойдет в тех разделах пособия, где в этом возникнет необходимость. Пособие предназначено для студентов специальностей 220200 и 351400, изучающих курс «Дискретная математика»