湖南科技大学学报（社会科学版）
湖南科技大學學報（社會科學版）
호남과기대학학보（사회과학판）
JOURNAL OF HUNAN UNIVERSITY OF SCIENCE & TECHNOLOGY(SOCIAL SCIENCE EDITION)
2012年
3期
31-33
,共3页
对当关系逻辑%弗协调逻辑%否定%下反对关系
對噹關繫邏輯%弗協調邏輯%否定%下反對關繫
대당관계라집%불협조라집%부정%하반대관계
在对当关系逻辑中,命题A与命题△A之间是一种下反对关系.在弗协调逻辑系统中,我们通过定义一个一元连接词●,可以证明,在对当关系逻辑中算子△所具有的性质,在弗协调逻辑中其否定也都具有这些性质,从而得出,弗协调逻辑中的否定是一种特殊的下反对关系算子.
在對噹關繫邏輯中,命題A與命題△A之間是一種下反對關繫.在弗協調邏輯繫統中,我們通過定義一箇一元連接詞●,可以證明,在對噹關繫邏輯中算子△所具有的性質,在弗協調邏輯中其否定也都具有這些性質,從而得齣,弗協調邏輯中的否定是一種特殊的下反對關繫算子.
재대당관계라집중,명제A여명제△A지간시일충하반대관계.재불협조라집계통중,아문통과정의일개일원련접사●,가이증명,재대당관계라집중산자△소구유적성질,재불협조라집중기부정야도구유저사성질,종이득출,불협조라집중적부정시일충특수적하반대관계산자.
