字词 | 递归定义 |
类别 | 中英文字词句释义及详细解析 |
释义 | 递归定义用递归方法所作的定义。如合式公式递归定义为:1.命题变元是合式公式;2.如果A是合式公式,那么⇁A是合式公式;3.如果A和B是合式公式,那么A∧B、A∨B、A→B、A↔A是合式公式;4.有限地使用1、2、3规则所构成的符号序列是合式公式;5.只有通过1—4得到的公式是合式公式。 |
随便看 |
|
文网收录3541549条中英文词条,其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似,基本涵盖了全部常用中英文字词句的读音、释义及用法,是语言学习和写作的有利工具。