网站首页  词典首页

请输入您要查询的字词:

 

字词 命题演算
类别 中英文字词句释义及详细解析
释义

命题演算

命题逻辑的重言式所组成的系统。由两种方式形成;给出公理,根据确定的推理规则推导出一系列重言式,这称作公理演算。还有是借助自然演算,不给出公理,利用一系列推理规则推出定理。


命题演算

见“逻辑学”中的“命题演算”。

命题演算

propositional calculus

随便看

 

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

 

Copyright © 2004-2024 Ctoth.com All Rights Reserved
京ICP备2021023879号 更新时间:2025/8/12 3:44:49