Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | ||
|
Предметной функцией от одного аргумента (одноместной) является функция извлечения квадратного корня, сопоставляющая отдельным числам из области аргументов отдельные числа из области значений: числу 4 — число 2; числу 16 — число 4 и т. п. Или функция, сопоставляющая каждому человеку его отца: афинскому философу Сократу — афинского скульптора-камнетёса Софронска; Сидорову Петру Яковлевичу — Сидорова Якова Александровича и т. п.). Двуместной предметной функцией является, например, «расстояние» между какими-то объектами (область аргументов), выражаемое в виде чисел с определённой размерностью (область значений), или функция вычитания, сопоставляющая некоторым предметам (взятым в паре числам) другое число (числам 3 и 2 — число 1; числам 8 и 5 — число 3 и т. п.)
К функциональным знакам примыкают технические знаки, а именно: левая скобка — «(»; правая скобка — «)»; запятая «,». Кроме описательных терминов в естественном языке встречаются логические термины, выражаемые, например, словами и словосочетаниями («и», «или», «если… то», «эквивалентно», «не», «неверно, что», «всякий», «некоторые», «кроме», «тот… который», «ни… ни», «только и только если» и др. В качестве основных в многообразии логических терминов выделяют: пропозициональные связки, кванторы. Прототипами пропозициональных связок в естественном языке являются союзы «и», «или», «если… то», «не» и др., а также их аналоги. Пропозициональными связками называются логические союзы, с помощью которых из простых высказываний получают сложные. К пропозициональным связкам относят: отрицание (логический союз «не»), обозначаемое, например, символом «Ø»; конъюнкцию (логический союз «и»), обозначаемую, например, символом «Ù»; дизъюнкцию (логический союз «или»), обозначаемую, например, символом «Ú»; импликацию (логический союз «если… то»)»), обозначаемую, например, символом «É» и т. п. Прототипами кванторов в естественном языке являются выражения «всякий» («каждый», «любой», «все» и т. п.), «некоторые» («существует», «многие», «большинство» и т. п.). Кванторами (от лат. quantum — сколько) называются операторы, осуществляющие функцию указателей на частный или общий характер какого-либо суждения. К кванторам относят: квантор общности, обозначаемый символом «"» (от англ. all — все); — квантор существования «$» (от exist — существовать). Осуществляя определённой глубины анализ языковых выражений и применяя необходимые символы для обозначения семантических категорий, легко выявить и выразить структуру мыслей.
Дата публикования: 2015-09-17; Прочитано: 173 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!