Высказывание (Фролов, 1991)
ВЫСКАЗЫВАНИЕ — в современной формальной логике предложение определенного языка, рассматриваемое в связи с оценками его истинности (истинно, ложно) или модальности (вероятно, возможно, невозможно, необходимо и др.). Высказывание, включающее в себя другие высказывания, называется сложным; в противном случае — простым. Всякое высказывание выражает некоторую мысль, являющуюся его содержанием и называется смыслом высказывания. Та или иная истинностная оценка высказывания называется его истинностным значением. Объект, к которому относится высказывание, называется предметом высказывания.