网站首页 词典首页
否弃实质蕴涵、代之以相干蕴涵的逻辑理论。A相干蕴涵B，是指A与B之间具有共同的意义内容，使得由A可逻辑地推出B，并且这种推出与A、B的真值无关。最常见的相干逻辑系统是R，在R中相干原理成立：A相干蕴涵B，则A与B至少有 一个共同的命题变元。
relevant logic
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。