Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно.
Высказывание — это грамматически правильное повествовательное предложение (см. Предложение) определённого языка (естественного или искусственного — см. Язык), которое выражает некоторый смысл и является либо истинным, либо ложным, но не тем и другим сразу.
Высказывание — это грамматически правильное повествовательное предложение (см. Предложение) определённого языка (естественного или искусственного — см. Язык), которое выражает некоторый смысл и является либо истинным, либо ложным, но не тем и другим сразу.