Nếu ta có $P \implies Q$ thì $P$ là điều kiện đủ để có $Q$, hoặc $Q$ là điều kiện cần để có $P$
Chẳng hạn như
$P$: "$ABCD$ là hình thang cân ($AB \parallel CD$)"
$Q$: "$AD = BC$
Khi đó $P$ là điều kiện đủ để có $Q$ (tức là nếu có $P$ thì ta cũng có $Q$)
còn $Q$ là điều kiện cần để có $P$ (tức là nếu có $Q$ thì ta chưa chắc có $P$, nhưng nếu không có $Q$ thì ta không thể có $P$)
Kiểu như vậy