אם ורק אם

"אם ורק אם" (קיצור: אמ"ם) אומר ששתי טענות נכונות ביחד. אם האחת נכונה, גם השנייה נכונה. אם האחת לא נכונה, גם השנייה לא נכונה. סימן שמייצג זאת הוא ⇔. טבלת אמת (טבלה שמראה אמת ושקר) מראה שהקשר נכון כששתי הטענות שוות. הקשר מתחלף בין הטענות. גם אפשר לקבץ כמה ביטויים ביחד. שתי דרכים להוכחה: - להראות...