ЛОГИКА ВЫСКАЗЫВАНИЙ, логика суждений, пропозициональная логика, раздел современной логики, лежащий в основе большинства её разделов в традиционном их изложении. Основной объект логики высказываний — высказывание, являющееся абстракцией от понятия предложения естественного языка, в связи с чем логику высказываний называют иногда логикой предложений. Высказывание — это предложение, рассматриваемое в отвлечении от его внутренней (субъектно-предикатной) структуры — исключительно с точки зрения его возможных истинностных значений: обычно истины (обозначаемой через «и») или лжи («л»).