אם… אז

״אם $P$ אז $Q$״ שקרי רק כש-$P$ קרה ו-$Q$ לא. ההפוך (אם $Q$ אז $P$) אינו שקול לו; ההפוך-שלילי (אם לא $Q$ אז לא $P$) שקול. והשלילה שלו היא ״$P$, ובכל זאת לא $Q$״.