Умовно категоричні міркування з виділяє умовним судженням - логіка лікарської діагностики

Розглянемо тепер міркування, в якому роль першої (апріорної) посилки грає виділяє умовне судження (судження подвійний імплікації) 17.9., А роль другої (емпіричної) посилки - судження КС: «У периферичної крові і в кістковому мозку хворого міститься багато владних клітин». З урахуванням прийнятих угод саме міркування і його формальна схема приймуть такий вигляд:

1. 1. У периферичної крові і в кістковому мозку хворого міститься багато бластних клітин (КС), якщо і тільки якщо цей хворий страждає на гострий лейкоз (Д);

Відповідно отримуємо:

Висновок 3. слід логічно з посилок I. і 2., у чому нас переконує тотожна істинність формули

Змінимо вихідну ситуацію нашого міркування: замість судження КС в якості емпіричної посилки 2 - візьмемо судження Д: «Хворий страждає на гострий лейкоз». отримаємо:
17.13. 1. У периферичної крові і в кістковому мозку хворого міститься багато бластних клітин (КС), якщо і тільки якщо цей хворий страждає на гострий лейкоз (Д);

1. Обстежуваний хворий страждає на гострий лейкоз (Д);
2. Отже, у цього хворого в його периферичної крові і в кістковому мозку міститься багато бластних клітин (КС).

Отримуємо відповідно:


Висновок 3. тут також логічно випливає з посилок 1. і 2., доказом чого є тотожна істинність формули
Отже, відштовхуючись від подвійної імплікації КСlt; gt; Д і її лівої (правої) частини отримуємо в якості логічного

слідства праву (ліву) її частина, Можна тепер узагальнити цей результат у вигляді логічного правила

яке ми назвемо першим правилом виключення подвійної імплікації. Дане правило дозволяє лікарю, який використовує в своєму міркуванні формулювання семіотичних структур, в яких симптомокомплекс КС є специфічним і, одночасно, постійним: а) переходити від констатації у хворого симптомокомплексу КС до достовірного діагнозу Д, щодо якої він (цей симптомокомплекс) є специфічним і постоянним- б) на підставі доведеного якимось чином діагнозу Д стверджувати з усією певністю наявність у даного хворого симптоматики КС.
Ці ж висновки і з тих же посилок можуть бути отримані і іншим шляхом, не передбачаючи використання подвійного імплікації для вираження апріорної посилки 17.5. і, відповідно, застосування правила п.4. Однак для досягнення цієї мети буде потрібно додатково інше правило, іменоване правилом виключення кон`юнкції:

Суть цього правила проста: при «сукупної» істинності кон`юнкції двох суджень істинним буде і кожне з цих суджень взятих порізно. Формальні схеми шуканих міркувань візьмуть тепер такий вигляд:

Порівняємо ці схеми з отриманими при першому підході схемами 17.12. і 17.15 .. Це порівняння показує, що останні з названих схем є схеми однозвенной міркувань, в той час як схеми 17.16. і 17.17.- схеми двузвенних міркувань. Різниця в ступені складності істотна, і тому для «живого», немашинного інтелекту зручнішим представляються варіанти міркувань за схемами 17.2. і 17.15., яким відповідає і більш різноманітний за кількістю логічних зв`язків (логічних форм) мову.
Використовуючи логічну еквівалентність формул
сформулюємо ще одне логічне правило, зручне для проведення міркувань, в яких фігурує семиотическая структура зі специфічним і постійним щодо деякого захворювання симптомокомплексом. З цією метою побудуємо такі дві схеми триланкових міркувань:

Дане правило, яке ми назвемо другим правилом виключення подвійної імплікації, дозволяє лікарю, який використовує в своєму міркуванні формулювання детермінованою семіотичної структури зі специфічним і постійним щодо деякого захворювання Д симптомокомплексом КС, від заперечення наявності у пацієнта симптомокомплексу КС укладати достовірно сб відсутності у нього захворювання Д , або ж від заперечення захворювання Д приходити до настільки ж достовірного висновку про відсутність у даного пацієнта симптомокомплексу КС. Наведемо відповідні приклади:

1. У периферичної крові та кістковому мозку хворого міститься багато бластних клітин (КС), якщо і тільки якщо цей хворий страждає на гострий лейкоз (Д);
2. У периферичної крові та кістковому мозку даного хворого немає великої кількості бластних клітин;
3. Отже, цей хворий не страждає на гострий лейкоз.
4. 1. У периферичної крові і в кістковому мозку хворого міститься багато бластних. клітин (КС), якщо і тільки якщо цей хворий страждає на гострий лейкоз (Д);
5. Даний хворий не страждає на гострий лейкоз;
6. Отже, в периферичної крові і в кістковому мозку хворого немає великої кількості бластних клітин.