网站首页  词典首页

请输入您要查询的字词:

 

字词 递归定义
类别 中英文字词句释义及详细解析
释义

递归定义

用递归方法所作的定义。如合式公式递归定义为:1.命题变元是合式公式;2.如果A是合式公式,那么⇁A是合式公式;3.如果A和B是合式公式,那么A∧B、A∨B、A→B、A↔A是合式公式;4.有限地使用1、2、3规则所构成的符号序列是合式公式;5.只有通过1—4得到的公式是合式公式。

随便看

 

文网收录3541549条中英文词条,其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似,基本涵盖了全部常用中英文字词句的读音、释义及用法,是语言学习和写作的有利工具。

 

Copyright © 2004-2024 Ctoth.com All Rights Reserved
京ICP备2021023879号 更新时间:2025/8/14 22:09:15