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