论文部分内容阅读
本文使用谓词逻辑描述诊断方法。临床诊断的基本方法是:全面收集病例的症状资料,根据典型症状提出诊断假说,经过一系列论证,最后得出该病例有某种疾病。病例的症状和疾病翻译为单称命题或它的复合命题。诊断假说翻译为量化命题。有了命题的符号,则诊断过程描述为演绎论证。直接诊断和鉴别诊断是两种基本方法。论证里的推理规则有:肯定前件式(MP),选言三段论(DS),全称例示规则(UI)等。正确的诊断是一个可靠的论证:如果症状命题都为真,诊断假说的命题为真,而且论证是有效的;那么,诊断结论必然为真。误诊是不可靠的论证。逻辑学可以提高临床诊断效率,也是病例分析的有力工具。