בלוגיקה, כאשר טענה א' היא תנאי מספיק לטענה ב', הכוונה היא שטענה ב' בהכרח תתקיים אם טענה א' מתקיימת. מכך גם נובע שאם טענה ב' לא מתקיימת, הרי שגם טענה א' לא מתקיימת. מתוך ויקיפדיה

תנאי ייצור נאותים (GMP), תנאי ייצור נאותים - GMP, תנאי לדו, תנאי ליפשיץ, תנאי מכללא, תנאי ניומן, תנאי עומר, תנאי עמר, תנאי קולמוגורוב, תנאי קונדורסה