网站首页 百科知识
用递归方法所作的定义。如合式公式递归定义为：1.命题变元是合式公式；2.如果A是合式公式，那么⇁A是合式公式；3.如果A和B是合式公式，那么A∧B、A∨B、A→B、A↔A是合式公式；4.有限地使用1、2、3规则所构成的符号序列是合式公式；5.只有通过1—4得到的公式是合式公式。
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。