Высказывание (proposition) — возможное состояние сущностей, по поводу которого можно утверждать или отрицать, что такое состояние имеет место.
[ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]
Высказывание — логическое выражение, относительно которого всегда можно утверждать, что оно либо истинно, либо ложно.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]
Высказывание — это законченное по смыслу предложение, относительно которого однозначно можно утверждать, истинно оно или ложно.
[Словарь понятий по информатике от А до З. (Электронный ресурс). Режим доступа: http:// nsportal.ru›user/415987/page/slovar-kompyuternyh-…/, свободный.]