两个相互矛盾的命题不能同假，必有一真。这是(　　)的内容。