Высказывание (логика): различия между версиями

Метки: правка с мобильного устройства правка из мобильной версии
Логическое подлежащее — то, о чём говорится в предложении (высказывании){{sfn|Розенталь|1976|loc=статья «Логическое подлежащее»}}, то, к чему относятся содержащиеся в предложениях утверждения или отрицания{{sfn|Войшвилло, Дегтярёв|2001|с=58—66}}. Логическое сказуемое — содержащаяся в предложении (высказывании) информация о логическом подлежащем{{sfn|Розенталь|1976|loc=статья «Логическое сказуемое»}}.
 
Роль логических подлежащих играют простныепростые и сложные [[Имя (логика)|имена]], роль логических сказуемых — [[Предикатор (логика)|предикаторы]] (или предикаты{{sfn|Бродский|1972|c=54}}). К последним относятся [[Свойство (логика)|свойства]] и [[Отношение (логика)|отношения]]{{sfn|Войшвилло, Дегтярёв|2001|c=58—66}}. Предикаторы выполняют роль предметно-истинностного отображения, давая предметам определённого класса оценку «истина» или «ложь». При этом свойства являются одноместными предикаторами, характеризуя один отдельный предмет, а отношения — многоместными, характеризуя пару, тройку и т. д. предметов{{sfn|Бродский|1972|c=54}}{{sfn|НФЭ|2010|loc=статья «Логика предикатов»}}. Само высказывание в случае с многоместным предикатором содержит несколько логических подлежащих{{sfn|Войшвилло, Дегтярёв|2001|с=68}}.
 
== Формы высказываний ==
Анонимный участник