Логика. Панькова Н.М. - 72 стр.

UptoLike

ВУЗ: 

ТПУ | Томск

Составители: 

Рубрика: 

в состав высказывания и каким образом эти термины соединяются между
собой.
Рассмотрим еще один формализованный язык логики предикатов. С
помощью этого языка можно детально выражать внутреннюю
структуру простых высказываний. В рамках построенного
формализованного языка сформулирована логическая теория -
классической логики предикатов (КЛП).
Построение любого формализованного языка начинают с алфавита -
совокупности исходных символов, которые обычно подразделяются на
нелогические, логические и технические.
Нелогические термины языка логики предикатов.
В логике предикатов выделяют 3 основные типа нелогических
терминов - это имена, предметные функторы и предикаторы.
Именем называется термин, обозначающий отдельный объект
(индивид). Выделяют простые и сложные имена. Простые имена не содержат
никакой полезной информации об обозначаемых ими индивидах, являются
как бы “метками” данных объектов. Их называют собственными именами.
Например: “Луна”, “Аристотель”, “Москва”.
Сложные имена не только обозначают предмет, но и указывают на
какое-либо его свойство, характеристику. Например: Сложное имя
“естественный спутник Земли” не просто обозначает Луну, но и содержит
определенную информацию об этом небесном теле: оно вращается вокруг
Земли.
Наиболее распространенный вид функций - это так называемые
предметные функции. К предметным функциям относятся, например,
арифметические операции над числами - извлечение квадратного корня
сопоставляет отдельным числам - отдельные числа: например, индивиду 4 -
индивида 2, индивиду 9 - индивид 3.
К разряду предметных функций относятся не только операции над
числами. Например, функция сопоставляющая каждому государству его
столицу тоже является предметной: Россия - Москва, Франция - Париж, так
как она сопоставляет индивидам (государствам) - индивиды (города).
Рассмотренные операции представляют собой функции от одного
аргумента, или одноместные функции. Операция сложения, например,
является двухместной, так как двум индивидам (паре) сопоставляется один.
Не числовая двухместная предметная функция - это функция,
сопоставляющая, например, парам населенных пунктов - расстояние между
ними: городам Москва и Санкт-Петербург - величину длины, равную 650 км.
Термины, с помощью которых в языке представляются предметные
функции, называются предметными функторами. Например, функция
извлечения квадратного корня представляется знаком “√”, функция
сложения - знаком “+”. Итак, n-местный предметный функтор - это знак n-
местной предметной функции.
72

Страницы