P is true just in case the negation of p is not true.

• 只限於P的否定为不真时P才是真的。