Xét tính đúng sai của mệnh đề sau. x thuộc B là điều kiện đủ để x không thuộc A.

Do A ∩ B = ∅, nên A và B là hai tập rời nhau hay mọi phần tử của A đều khác các phần tử trong B, khi đó ta có “Nếu x ∈ B thì x ∉ A” là mệnh đề đúng, do đó mệnh đề còn được phát biểu dưới dạng “x ∈ B là điều kiện đủ để x ∉ A”, vậy e) đúng.