Высказыванием называется любое утверждение о котором можно

Обновлено: 05.07.2024

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

Высказывательной формой называется логическое высказывание, в котором один из объектов заменён переменной. При подстановке вместо переменной какого-либо значения высказывательная форма превращается в высказывание. Пример: A(x) = «В городе x идёт дождь.», где A — высказывательная форма, x — объект.

Виды высказываний

Логические высказывания принято подразделять на два вида: элементарные логические высказывания и составные логические высказывания.
Составное логическое высказывание — это высказывание, образованное из других высказываний с помощью логических связок.
Логическая связка — это любая логическая операция над высказыванием. Например, употребляемые в обычной речи слова и словосочетания «не», «и», «или», «если… , то», «тогда и только тогда» являются логическими связками.
Элементарные логические высказывания — это высказывания не относящиеся к составным.

Примеры: «Петров — врач», «Петров — шахматист» — элементарные логические высказывания. «Петров — врач и шахматист» — составное логическое высказывание, состоящие из двух элементарных высказываний, связанных между собой при помощи связки «и».

Читайте также:

  
• Ввп в годовом выражении
  
• В общем короче где обозначает фраза по психологии
  
• Что означает фраза итальянский стыд
  
• Как называется фраза в начале бита
  
• Фразы для холодных звонков