Логическое высказывание - это...
Утверждение, которому всегда можно поставить в соответствие одно из двух логических значений. Логическое высказывание принято обозначать заглавными латинскими буквами.