V Пример. Предметной функцией от одного аргумента (одноместной) является функция извлечения

Предметной функцией от одного аргумента (одноместной) является функция извлечения квадратного корня, сопоставляющая отдельным числам из области аргументов отдельные числа из области значений (числу 4 – число 2; числу 16 – число 4 и т. п.), или функция, сопоставляющая каждому человеку его отца (афинскому философу Сократу – афинского скульптора-камнетёса Софронска; Сидорову Петру Яковлевичу – Сидорова Якова Александровича и т. п.). Двуместной предметной функцией является, например, «расстояние» между какими-то объектами (область аргументов), выражаемое в виде чисел с определённой размерностью (область значений), или функция вычитания, сопоставляющая некоторым предметам (взятым в паре числам) другое число (числам 3 и 2 – число 1; числам 8 и 5 – число 3 и т. п.)

К функциональным знакам примыкают технические знаки, а именно: левая скобка – «(», правая скобка – «)», запятая «,».

Кроме описательных терминов в естественном языке встречаются логические термины, выражаемые, например, словами и словосочетаниями («и», «или», «если… то», «эквивалентно», «не», «неверно, что», «всякий», «некоторые», «кроме», «тот… который», «ни… ни», «только и только если» и др. В качестве основных в многообразии логических терминов выделяют пропозициональные связки и кванторы.

Прототипами пропозициональных связок в естественном языке являются союзы «и», «или», «если… то», «не» и др., а также их аналоги. Пропозициональными связками называются логические союзы, с помощью которых из простых высказываний получают сложные. К пропозициональным связкам относят отрицание (логический союз «не»), конъюнкцию (логический союз «и»), дизъюнкцию (логический союз «или»), импликацию (логический союз «если… то») и т. п. Прототипами кванторов в естественном языке являются выражения «всякий» («каждый», «любой», «все» и т. п.), «некоторые» («существует», «многие», «большинство» и т. п.). Кванторами (от лат. quantum - сколько) называются операторы, осуществляющие функцию указателей на частный или общий характер какого-либо суждения. К кванторам относят: квантор общности, обозначаемый символом «"» (от англ. all – все), и квантор существования «$» (от exist – существовать).

Осуществляя определённой глубины анализ языковых выражений и применяя необходимые символы для обозначения семантических категорий, легко выявить и выразить структуру мыслей.

Дата добавления: 2015-09-05