логическое высказывание это

Ответ от ?at???[гуру]
Логическое высказывание — утверждение, которому всегда можно поставить в соответствие одно из двух логических значений: ложь (0, ложно, false) или истина (1, истинно, true). Логическое высказывание принято обозначать заглавными латинскими буквами. Высказывательной формой называется логическое высказывание, в котором один из объектов заменён переменной. При подстановке вместо переменной какого-либо значения высказывательная форма превращается в высказывание.
Пример: A(x) = «В городе x идет дождь. » A — высказывательная форма, x — объект.
Подробнее ► ссылка
Логические высказывания принято подразделять на два вида: составные логические высказывания и элементарные.
Составное логическое высказывание — это высказывание, образованное из других высказываний с помощью логических связок.
Логическая связка — это любая логическая операция над высказыванием. Например, употребляемые в обычной речи слова и словосочетания «не» , «и» , «или» , «если… , то» , «тогда и только тогда» являются логическими связками.
Элементарные логические высказывания — это высказывания не относящиеся к составным.
Примеры: «Петров — врач» , «Петров — шахматист» — элементарные логические высказывания. «Петров — врач и шахматист» — составное логическое высказывание, состоящие из двух элементарных высказываний, связанных между собой при помощи связки «и» .