具有矛盾关系的命题不可同假。