ВЫСКАЗЫВАНИЕ — Логическое выражение, относительно которого всегда можно утверждать, что оно либо истинно, либо ложно.
Похідні поняття[Приховати / показати]
ВЫСКАЗЫВАНИЕ АТОМАРНОЕ — Высказывание, структура которого далее не расчленяема. В формальных системах В.А. соответствуют базовые элементы. Интерпретация истинности В.А. задается для формальной системы извне и на этой основе определяется интерпретация всех правильно построенных формул формальной системы.