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

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

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

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