Советский философский словарь

ЛОГИКА ВЫСКАЗЫВАНИЙ

логика суждений, пропозициональная логика, раздел совр. логики, лежащий в основе большинства её разделов в традиц. их изложении. Осн. объект Л. в. высказывание, являющееся абстракцией от понятия предложения естеств. языка, в связи с чем Л. в. наз. иногда логикой предложений. Высказывание это предложение, рассматриваемое в отвлечении от его внутр. (субъектно-предикатной) структуры исключительно с т. зр. его возможных истинностных значений: обычно истины (обозначаемой через «и») или лжи («л»). Т. о., высказывание это предложение, о к-ром имеет смысл говорить, что оно истинно или ложно. Из элементарных высказывании, относительно к-рых вопрос о присвоении им одного из значений «и» или «л» считается заранее решённым, с помощью логических операций (играющих роль союзов и аналогичных им конструкций естеств. языка) строятся сложные высказывания (аналоги сложносочинённых и сложноподчинённых предложений), значения истинности к-рых однозначно определяются истинностными значениями исходных высказываний и определением данной логич. операции. В соответствии с «естественной» интерпретацией высказываний и свойствами логич. операций, посредством к-рых они построены, нек-рые из полученных т. о. формул Л. в. оказываются тождественноистинными (т. е. истинными при всех распределениях истинностных значений исходных элементарных формул); их наз. также тавтологиями. Такие формулы выражают логические законы; их выявление одна из осн. задач Л. в. Фиксировав нек-рые из них в качестве аксиом с помощью подходящих правил вывода, получают описание Л. в. в виде исчисления высказываний.

  1. логика высказываний—раздел математической логики См. Логикаem посвященный изучению логических форм сложных высказываний образованных из элементарных высказываний с помощью связок аналогичных...Большая Советская энциклопедия II
  2. логика высказываний—раздел логики в котором вопрос об истинности илиложности высказываний рассматривается и решается на основе изученияспособа построения высказываний из т. н. элементарных д...Большой энциклопедический словарь II
  3. логика высказываний—ЛОГИКА ВЫСКАЗЫВАНИЙ раздел логики в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний и...Большой энциклопедический словарь III
  4. логика высказываний—ЛОГИКА ВЫСКАЗЫВАНИЙ раздел логики в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний ...Большой Энциклопедический словарь V
  5. логика высказываний—раздел логики в кром вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т.н. элементарных дал...Естествознание. Энциклопедический словарь
  6. логика высказываний—раздел логики в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из так называемых эле...Исследовательская деятельность
  7. логика высказываний—пкрлер логикасы...Орысша-қазақша «Математика» терминологиялық сөздік
  8. логика высказываний—assertionlevel logic вчт....Русско-английский словарь по электронике
  9. логика высказываний—propositional logic...Русско-английский технический словарь
  10. логика высказываний—логка выказвання...Русско-белорусский математический словарь
  11. логика высказываний—logica delle proposizioni...Русско-итальянский политехнический словарь
  12. логика высказываний—Aussagenlogik...Русско-немецкий политехнический словарь
  13. логика высказываний—логка висловлень...Русско-украинский политехнический словарь
  14. логика высказываний—vrokov logika...Русско-чешский словарь
  15. логика высказываний—Пропозициональная логика раздел логики формализующий употребление логических связок и или не если то и т. п. служащих для образования сложных высказываний из простых. Выс...Словарь логики
  16. логика высказываний—ЛОГИКА ВЫСКАЗЫВАНИЙ или Пропозициональная логика раздел логики формализующий употребление логических связок iи или не если то и т. п. служащих для образования сложных вы...Словарь по логике
  17. логика высказываний—ЛОГИКА ВЫСКАЗЫВАНИЙ раздел логики в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний и...Современный энциклопедический словарь
  18. логика высказываний—ЛОГИКА ВЫСКАЗЫВАНИЙ раздел логики в котором изучаются истинностные взаимосвязи между высказываниями.В рамках данного раздела высказывания пропозиции предложения рассматр...Философская энциклопедия
  19. логика высказываний—раздел совр. математической логики посвященный изучению логич. форм сложных высказываний образованных из элементарных высказываний с помощью связок аналогичных союзам и и...Философская Энциклопедия (в 5 томах)
  20. логика высказываний—ЛОГИКА ВЫСКАЗЫВАНИЙ раздел логики в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний ...Энциклопедический словарь естествознания
  21. логика высказываний—ЛОГИКА ВЫСКАЗЫВАНИЙ пропозициональная логика раздел символической логики изучающий сложные высказывания образованные из простых и их взаимоотношения. В отличие от логики...Энциклопедия эпистемологии и философии науки