Формальная логика в решении задач диагностики, лечения и профилактики заболеваний. Основы логики высказываний

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

Понятие высказывания

Одним из основных понятий логики является «высказывание». Установим значение этого понятия.

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

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

Типы высказываний Простое высказывание

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

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

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

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

Проблемное, достоверное, условное высказывание

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

Проблемное– это высказывание, в котором что-то утверждается или отрицается с определенной степенью предположения. Например, “причиной головной боли является, наверное, повышенное давление”.

Достоверное – это высказывание, которые содержит знание, обоснованные и проверенные практикой. Например, “человек дышит воздухом”.

Условное– это высказывание, в котором отображается зависимость того или иного явления от тех или других обстоятельств и в котором основание и следствие соединяются с помощью логического союза “если … , это ... ” Например, “если диагноз инфаркт миокарда, то наблюдается нарушение сердечного ритма». Таким образом, в условном высказывании нужно различать основание и следствие.

Множество значений высказывания

Любое высказывание может соответствовать или не соответствовать действительности. В первом случае оно называется истинным, во втором  ложным. Истинное высказывание можно обозначать символом 1, а ошибочное + символом 0 или наоборот. Такое обозначение является условным. Можно также использовать другие символы-обозначения: истинное высказывание обозначить символом И, а ложное Л. Таким образом, не считаясь с разнообразие высказываний, все они в алгебре логики могут приобретать только два значений: 1 или 0.

Существуют высказывания, которые всегда истинны. Например, «Человек дышит воздухом», «Пневмония – воспаление легких». Обозначив приведенные высказывания через X и Y соответственно, можно записать

Х = 1, Y=1.

Существуют высказывания ошибочные. Например, «Анемия – это сердечная недостаточность», «Для развития живого организма нужен никотин». Обозначив их через S и P соответственно, можем записать

S = 0, P=0.

Большинство высказываний могут быть истинными или ошибочными. Высказывание «кожа человека бледно-розового цвета» верно лишь для здорового человека, в других случаях - импликация;  