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

Automatic Judgment to the Legitimacy of a Propositional Formula

作　　者：张娟[1] 

机构地区：[1]西安工业大学,西安710032

出　　处：《价值工程》2015年第31期201-203,共3页Value Engineering

摘　　要：本文就命题公式合法性的自动判定方法进行阐述,首先给出命题的合式公式的相关概念,其次探讨用计算机自动判定命题公式合法性的方法,并对设计过程加以描述。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.

关 键 词：命题公式 合法性 自动判定 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]