Что такое первое высказывание

Обновлено: 21.11.2024

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

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

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

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

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

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

  
• А новоселов санькин марал продолжи фразу
  
• Фразы на испанском в аэропорту
  
• Тренеру по ораторскому искусству и журналисту кармин галло принадлежит следующее высказывание
  
• Если в выражении используется только операция дизъюнкции или только операция конъюнкции то можно
  
• Мультик с фразой и так сойдет