Логика высказываний

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

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 194-195.

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

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

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