这里有一个真理表的含义 a表示b和它的对立面not b表示not a。还显示了声明 不a或b和不是a或不是b:
a|b|不是a|不是b|a-->b|不是b-->不是a|非a或b|不是a或不是b-------------------------------------------------------------------------------------T|T|F|F|T|T| T|TT|F|F|T|F| F|F| FF|T|T|F|T| T|T| TF|F|T|T|T | T|T
另请注意匡威和反向正如暗示一样逻辑上等价对于它的反命题,蕴涵的逆命题在逻辑上等价于它的逆命题。当考虑证明不管怎样,与最初的含义相比,反义词可能更容易证明原因.