Форма-трафарет Садовая дорожка Заработок для студента Заказать диплом Cкачать контрольную Курсовые работы Репетиторы онлайн по любым предметам Выполнение дипломных, курсовых, контрольных работ Магазин студенческих работ Диссертации на заказ Заказать курсовую работу или скачать? Эссе на заказ Банк рефератов и курсовых Математический анализ Функции и их графики Пределы Вычисление производной Возрастание и убывание функции Матрицы Курсовая по Кузнецову Интегральное исчисление Вычисление объемов и площадей Математика курс лекций для технических университетов Некоторые понятия математической логики (Дж. Маллас Пролог) При описании логики Аристотеля употребляется понятие суждение. Суждение представляет собой законченную мысль, выраженную средствами естественного языка и (согласно Аристотелю) состоит из четырех элементов: квантор, субъект, связка, предикат.Примеры: Квантор Субъект Связка Предикат 1 Все числа являются не рациональными 2 Некоторые натуральные числа — четны В последнем случае подразумевается связка “являются”. В первом случае обычно говорят также: “Все числа не являются рациональными”. Вместо термина предикат мы будем использовать также термин свойство. Противоположное свойство P или отрицание свойства P обозначается значком или . В традиционной логике допускаются два типа суждений, каждый из которых характеризует возможные отношения между двумя классами (классом субъектов и классом предикатов):Все S являются P ( каждый из S удовлетворяет свойству P )Некоторые из S являются P ( существует представитель из S, удовлетворяющий свойству P )Здесь S обозначает класс субъектов, а P — класс предикатов ( или некоторое свойство, характеризующее этот класс ). Все, каждый, любой, произвольный называются универсальным квантором или квантором общности. Квантор общности обозначается значком «. Некоторые из, существует — экзистенциальные кванторы. Квантор существования обозначается значком $. Таким образом, основные типы суждений можно записать в следующей форме ( логической связке соответствует символ двоеточия ):»xÎS:P $xÎS:P Предикат и субъект в суждении могут быть составными, в частности они сами могут быть суждениями. Например, рассмотрим высказывание (суждение):»e>0 $d>0 «x,|x-x0|