Abstract: Via discussing biological mechanism and fluorescent labeling strategy surface-based DNA computation，we study proposition logic reasoning combining with DNA computing and propose a fitful coding strategy and a propositional reasoning algorithm combining with DNA computing.Fluorescent quenching technology is used in this method and unfeasible solution is excluded through observing fluorescent quenching degree in DNA　chain.At last，the procedure is illustrated by an example analysis and the result notes that this algorithm is feasible and general.

Key words: DNA computing, logic calculus, fluorescence labeling technique, surface-based style

摘要： 通过讨论DNA计算的生物机理和表面DNA计算中的荧光标记策略的基本原理，利用表面DNA计算的思想，对数理逻辑中的命题推理进行了研究，给出了一种合适的DNA编码策略，提出了一种新的对一般的命题公式的推理算法。新方法利用荧光猝灭技术，通过观察表面DNA分子链中猝灭程度来排除非可行解。最后通过事例分析了算法的基本过程，说明了该方法的普适性和可行性。

关键词: DNA计算, 逻辑运算, 荧光标示, 表面方式