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