Андрей Игоревич Широков, Дискретная математика. Элементы логико-математического языка. Часть II

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