命题间的真值关系

---

命题间的真假关系。任意两个命题之间的真值关系，不外乎以下七种：⑴等值关系。A与B是等值的，当且仅当，A与B同真同假。⑵矛盾关系。A与B是矛盾的，当且仅当，A与B不可同真、不可同假。⑶反对关系。A与B是反对的，当且仅当，A与B可同假、不可同真。⑷下反对关系。A与B是下反对的，当且仅当，A与B可同真、不可同假。⑸蕴涵关系。A蕴涵B，当且仅当，A真B必真。⑹反蕴涵关系。A反蕴涵B，当且仅当，A假B必假。⑺独立关系。A与B是独立的，当且仅当，A真B不必真，A假B不必假，反之亦然。设有命题：⑴pvp；⑵qq；⑶p；⑷p；⑸pq；⑹pvq。由下列真值表可知：1与4等值，1与3矛盾，3与5反对，3与6下反对，5蕴涵6，6反蕴涵5，1与2独立。