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