命题公式合法性的自动判定

Automatic Judgment to the Legitimacy of a Propositional Formula

本文就命题公式合法性的自动判定方法进行阐述,首先给出命题的合式公式的相关概念,其次探讨用计算机自动判定命题公式合法性的方法,并对设计过程加以描述。

This paper focuses on the methods to judge the legitimacy of a professional formula automatically. Firstly, the relevant concepts over well-formed formula of a proposition are listed. After that, the methods to judge the legitimacy of a propositional formula automatically by a computer are discussed, and the related design process is described at the end.