论命题形式之间的对当关系

On Opposition Between Propositional Forms

命题是逻辑思维的重要形式,而命题形式之间的对当关系则是命题理论的一个重要内容。任意两个命题形式之间的对当关系可以分为可比关系和不可比关系两大类。不可比关系就是独立关系,而可比关系又有相容和不相容之分。相容关系有等值关系、下反对关系、差等关系(蕴涵关系和逆蕴涵关系);而不相容关系则有矛盾关系和反对关系。

The proposition is an important mode in logical thinking.The opposition between propositional forms is one of the most important contents of the propositional theory.They have two kinds:comparable relation and incompara- ble relation.The incomparable relation is the independent relation,and the comparable relation is divided in two parts: compatibility relation and exclusion relation.The compatibility relation contains equivalence,subcontrariety,subaherna- tion,implication and counter-implication.The exclusion relation contains contradictory relation and contrary relation.