概率逻辑中的命题相关性与逻辑运算
来源期刊：工程科学学报2008年第9期
论文作者：刘宏岚 高庆狮 杨炳儒
文章页码：1079 - 1084
关键词：概率逻辑;二值逻辑;集合;逻辑运算;
摘 要：原子命题是数理逻辑研究的基本单位.分析了原子命题的相关性与逻辑运算之间的关系.在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同.定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.
刘宏岚，高庆狮，杨炳儒
摘 要：原子命题是数理逻辑研究的基本单位.分析了原子命题的相关性与逻辑运算之间的关系.在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同.定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.
关键词：概率逻辑;二值逻辑;集合;逻辑运算;
