4.1.Языки первого порядка.Предикаты и кванторы.Математическая логика и теория алгоритмов.

Элементарные высказывания с точки зрения пропозициональной логики характеризуются только истинностными значениями и являются неделимыми конструкциями. Но логиков во многих случаях интересует и внутренняя структура простых предложений: что и о чем говорится в данном предложении. С точки зрения грамматики естественного языка, субъект (или подлежащее) — это то, о чем или о ком говорится в предложении, а предикат (называемый также сказуемым или группой сказуемого) выражает то, что говорится о субъекте. В математической логике произвольную высказывательную форму со свободными переменными называют также предикатом. Если мы заменим свободные переменные, входящие в эту форму, на имена объектов универсума, то получим некоторое отношение между этими объектами, которое, в зависимости от конкретных объектов-параметров, будет истинным или ложным высказыванием. Весь материал взят: