字词 | 命题演算 |
类别 | 中英文字词句释义及详细解析 |
释义 | 命题演算命题逻辑的重言式所组成的系统。由两种方式形成;给出公理,根据确定的推理规则推导出一系列重言式,这称作公理演算。还有是借助自然演算,不给出公理,利用一系列推理规则推出定理。 命题演算见“逻辑学”中的“命题演算”。 命题演算propositional calculus |
随便看 |
|
文网收录3541549条中英文词条,其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似,基本涵盖了全部常用中英文字词句的读音、释义及用法,是语言学习和写作的有利工具。