Логическое высказывание – это повествовательное предложение, относительно которого можно однозначно сказать, истинно оно или ложно.
Так, например, предложение " 6 — четное число " следует считать высказыванием, и оно истинное. Предложение " Рим — столица Франции " тоже высказывание, и оно ложное.
Высказывание не может быть выражено повелительным или вопросительным предложением, оценка истинности или ложности которых невозможна. Высказывания могут выражаться с помощью математических, физических, химических и прочих знаков.
Разумеется, не всякое предложение является логическим высказыванием. Высказываниями не являются, например, предложения " Ученик десятого класса " и " Информатика — интересный предмет ".
Первое предложение ничего не утверждает об ученике, а второе использует слишком неопределённое понятие " интересный предмет ". Вопросительные и восклицательные предложения также не являются высказываниями, поскольку говорить об их истинности или ложности не имеет смысла.
Предложения типа " В городе A более миллиона жителей ", " У него голубые глаза " не являются высказываниями, так как для выяснения их истинности или ложности нужны дополнительные сведения: о каком конкретно городе или человеке идет речь. Такие предложения называются высказывательными формами .
Высказывания имеют определенную логическую форму. Понятие о предмете мысли называется субъектом и обозначается буквой S , а понятие о свойствах и отношениях предмета мысли называется предикатом и обозначается буквой P . Оба эти понятия — субъект и предикат называются терминами суждения . Отношения между субъектом и предикатом выражается связкой « есть », « не есть », « является », « состоит » и т.д.
Таким образом, каждое высказывание состоит из трех элементов — субъекта , предиката и связки (двух терминов и связки). Состав суждения можно выразить общей формулой « S есть P » или « S не есть P ».
