תנאי הכרחי (באנגלית: Necessary condition וגם Necessity conditions) הוא מונח מתחום הלוגיקה, המביע תנאי הדרוש לקיום הטענה, שבלעדיו הטענה לא מתקיימת. למשל, בעל חיים שאין לו נוצות, אינו נחשב ציפור. לכן, נוצות שיש לבעל חיים מסוים, הן "תנאי הכרחי" להיותו ציפור. לעומת זאת, היכולת לעוף אינה "תנאי הכרחי" שבלעדיו בעל חיים אינו ציפור. למשל, יען היא ציפור למרות שהיא אינה מסוגלת לעוף. מתוך ויקיפדיה

אם ורק אם (ראשי תיבות: אמ"ם, ) או "אימוּם" (בלשון חז"ל: תנאי כפול, וסימונו בלוגיקה פורמלית: \Leftrightarrow, \leftrightarrow או ≡) בתחום הלוגיקה המתמטית הוא קַשָּׁר לוגי בין שתי טענות השקולות זו לזו במובן שכל אחת אמיתית כשהשנייה אמיתית, אך אם אחת אינה אמיתית גם השנייה שגויה. בניסוח של הלוגיקה הפורמלית זהו קשר של תנאי הכרחי ומספיק. מתוך ויקיפדיה

תנאי בל יעבור, תנאי בני גד ובני ראובן, תנאי גבול בדינמיקה של זורמים, תנאי דיריכלה, תנאי הולדר, תנאי הכרחי ומספיק, תנאי הלדר, תנאי הצמצום הזעיר, תנאי השירות בצה"ל, תנאי השרשרת היורדת