Отрицательное Высказывание

- бинар­ное (двухместное) отношение R, определенное на некотором мно­жестве и характеризующееся тем, что каждому значению у отно­шения xRy соответствует лишь одно-единственное значение х. Примером О. Ф. Может быть отношение «х отец у», т. К. Каждому значению у соответствует единственное значение х. Каждый чело­век имеет единственного отца. Свойство функциональности отно­шения R записывается в виде аксиомы. Из (xRy и zRy) следует (x-z). Поскольку каждому значению у в выражениях xRy и zRy соответс..

— логическая операция, с помощью которой из данного высказывания получается новое высказывание. При этом если исходное высказывание истинно, его О. Не является истинным, а если оно ложно, его О. Не является ложным. Отрицательное высказывание состоит из исходного высказывания и поме­щаемого перед ним знака О. (в логике ~ или 1), читаемого как «не» или «неверно, что». О. Высказывания A является сложное выс­казывание ~А. В логике классической если высказывание А истинно, его О. ~А ложно, а если A л..

См. Оценочное высказывание.. ..

— раздел логики, изучающий логическую структуру и логические связи оценочных высказываний. О. Л., явля­ющаяся ветвью модальной логики, слагается из логики абсолют­ных оценок, формулируемых обычно с помощью понятий «хо­рошо», «плохо» и «(оценочно) безразлично», и логики срав­нительных оценок, в которых используются понятия «лучше», «хуже» и «равноценно». Сравнительные оценки называются также предпочтения­ми, а их логика — предпочтений логикой. Первая попытка создать логическую теорию абсолютных о..