1 Nếu nghịch đảo của một câu lệnh là đúng, thì nghịch đảo của nó là đúng (và ngược lại). 2 Nếu nghịch đảo của một câu lệnh là sai, thì ngược lại của nó là sai (và ngược lại). 3 Nếu phủ định của một tuyên bố là sai, thì tuyên bố đó là đúng (và ngược lại).