北京科技大学学报
北京科技大學學報
북경과기대학학보
JOURNAL OF UNIVERSITY OF SCIENCE AND TECHNOLOGY BEIJING
2008年
9期
1079-1084
,共6页
概率逻辑%二值逻辑%集合%逻辑运算
概率邏輯%二值邏輯%集閤%邏輯運算
개솔라집%이치라집%집합%라집운산
原子命题是数理逻辑研究的基本单位. 分析了原子命题的相关性与逻辑运算之间的关系. 在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同. 定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.
原子命題是數理邏輯研究的基本單位. 分析瞭原子命題的相關性與邏輯運算之間的關繫. 在經典二值邏輯中,命題邏輯運算結果的真值隻與參與運算的命題的真值有關,而與命題的具體內容無關;在概率邏輯中,命題邏輯運算由命題的關繫決定,真值相同的不同命題,邏輯運算結果不一定相同. 定義瞭與經典二值邏輯相容的蘊涵聯結詞,剋服瞭條件概率不能用于推理的缺點.
원자명제시수리라집연구적기본단위. 분석료원자명제적상관성여라집운산지간적관계. 재경전이치라집중,명제라집운산결과적진치지여삼여운산적명제적진치유관,이여명제적구체내용무관;재개솔라집중,명제라집운산유명제적관계결정,진치상동적불동명제,라집운산결과불일정상동. 정의료여경전이치라집상용적온함련결사,극복료조건개솔불능용우추리적결점.
