Контроль исходного уровня знаний. Тест на сайте дистанционного обучения cdo.krasgmu.ru

Тест на сайте дистанционного обучения cdo.krasgmu.ru

Основные понятия и положения темы

Знание логики повышает общую интеллектуальную культуру человека, оказывает содействие формированию логически правильного мышления, основными чертами которого является четкая определенность последовательность, непротиворечивость и доказательность. Освоение логической науки дает возможность сознательно строить правильные соображения, отличать их от неправильных, избегать логических ошибок, умело и эффективно обосновать истинность мыслей, защищать свои взгляды и убедительно опровергать ошибочные мысли и неправильные соображения своих оппонентов, оказывает содействие усовершенствованию стихийно сформированной логики мышления. Благодаря логике человек приобщается к новейшим результатам логических исследований.

Логика – наука о законах и формах мышления. Математическая логика изучает любые рассуждения с помощью методов математики. Математическая логика входит в группу фундаментальных наук, которые образуют теоретическую основу информатики. Центральная идея математической логики восходит еще к Г.В. Лейбницу (1646-1716) и состоит в том, чтобы записывать математические утверждения в виде последовательностей символов и оперировать с ними по формальным правилам. При этом правильность рассуждений можно проверять механически, не вникая в их смысл. Усилиями большого числа математиков и логиков второй половины XIX и первой половины XX века (Буль, Кантор, Фреге, Пеано, Рассел, Уайтхед, Цермело, Френкель, Гильберт, фон Нейман, Гёдель и другие) эта программа была в основном выполнена.

Английский математик Джордж Буль (1815-1864) впервые применил алгебраические методы для решения логических задач.

Алгебра логики – это раздел математической логики, значения всех элементов (функций и аргументов) которой определены в двухэлементном множестве: 0 и 1. Алгебра логики оперирует логическими высказываниями.

Любая деятельность человека так или иначе связана с разными высказываниями. Суждение, замечание, запись, ит.п. есть высказываниями. В алгебре логики высказывания есть переменная, которая может приобретать два значения и над которой можно выполнять некоторые действия. Другими словами, высказыванием называется предложение, которое можно оценить как истинное или ошибочное.

Аналогично сменным обычной алгебры высказывания обозначают буквами какого - нибудь алфавита, например латинского: А, В, X ит.п..

Типы высказываний

Высказывание за строением может быть простым или составным.

По своему смыслу высказывания содержат одно какое-нибудь сообщение или утверждения о существующем мире. Такое высказывание называется простым. Например, «диагноз – инфаркт миокарда»; «у пациента наблюдается нарушение сердечного ритма».

Составные высказывания (логические функции)

Из простых высказываний с помощью связок И, ИЛИ и НЕ образовываются составные высказывания, которые называют логическими функциями. Простые высказывания, из которых образовывается составное, называются логическими аргументами. Предложение «Больной ощущает сильную боль в области челюсти, рот самостоятельно не закрывается, тяжело глотать и говорить» является составным высказыванием (логической функцией «И»).

Не нашли, что искали? Воспользуйтесь поиском: