Логическое высказывание

Логическое высказывание – это повествовательное предложение, относительно которого можно однозначно сказать, истинно оно или ложно.

Так, например, предложение "6 — четное число" следует считать высказыванием, и оно истинное. Предложение "Рим — столица Франции" тоже высказывание, и оно ложное. 

   Высказывание не может быть  выражено  повелительным  или  вопросительным предложением, оценка истинности или ложности которых невозможна. Высказывания могут выражаться с помощью математических,  физических, химических и прочих знаков.

     Разумеется, не всякое предложение является логическим высказыванием. Высказываниями не являются, например, предложения "Ученик десятого класса" и "Информатика — интересный предмет".

    Первое предложение ничего не утверждает об ученике, а второе использует слишком неопределённое понятие "интересный предмет". Вопросительные и восклицательные предложения также не являются высказываниями, поскольку говорить об их истинности или ложности не имеет смысла.

     Предложения типа "В городе A более миллиона жителей", "У него голубые глаза" не являются высказываниями, так как для выяснения их истинности или ложности нужны дополнительные сведения: о каком конкретно городе или человеке идет речь. Такие предложения называются высказывательными формами.

    Высказывания имеют определенную логическую форму. Понятие о предмете мысли называется субъектом и обозначается буквой S, а понятие о свойствах и отношениях предмета мысли называется предикатом и обозначается буквой P. Оба эти понятия -  субъект и предикат называются   терминами суждения. Отношения   между   субъектом  и  предикатом    выражается связкой  «есть», «не есть», «является», «состоит» и т.д.    

Таким образом, каждое высказывание состоит из трех элементов  - субъекта, предиката и связки  (двух терминов  и  связки).  Состав суждения можно выразить общей формулой «S есть P» или «S не есть P».