Логическое высказывание - это...

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