Подробности

    ЦифроМахЛогикаПриложения → Логика суждений

    Логика суждений

    логика это

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



  • Отношение эквивалентности

    Наиболее распространено классическое исчисление высказываний, в котором из конечного числа аксиом по специальным правилам вывода могут быть получены все общезначимые формулы Л

     
  • Источник: http://dic.academic.ru