اگر بشرط اگر

ریاضی مسئلوں میں استعمال ہونے والی ایک تکنیکی اصطلاح
 انگریزی مخفف: iff
 اگر بشرط ِاگر = if and only if

یہ دو رویہ مقتض (implication) ہے۔ اگر لکھا ہو کہ:
 "بیان A، اگر بشرط ِاگر، بیان B" 
(انگریزی ترجمہ: "Statement A if and only if Statement B")
تو اس کا مطلب ہے :
 کہ اگر بیان A لاگو ہو (یا سچ ہو) تو اس کا لازمی نتیجہ ہے کہ بیان B لاگو ہو گا (یا سچ ہو گا)
 کہ اگر بیان B لاگو ہو (یا سچ ہو) تو اس کا لازمی نتیجہ ہے کہ بیانA لاگو ہو گا (یا سچ ہو گا)

ریاضی مساوات میں اسے خاص علامت کے استعمال سے یوں لکھتے ہیں :

جس کا مطلب ہے کہ:



 کو پڑھا جاتا ہے، 
 A مقتضی B 
 A implies B

اس طرح
 کو پڑھا جاتا ہے، 
 B مقتضی A 
 B implies A
(مقتضی کا مطلب ریاضی میں، لازم یا منطقی ربط، کا ہے)

 ضروری اور کافی 
اس کے علاوہ یہ اصطلاحات استعمال ہوتی ہیں
 ضروری = necessary
 کافی = sufficient
 ضروری اور کافی = necessary and sufficient

 مثال 
 "پودا پھلے پھولے گا" بشرطِ اگر "پودے کو پانی ملتا رہے "
یا
"پودا پھلے پھولے گا" کے لیے ضروری ہے کہ "پودے کو پانی ملتا رہے "
 A = "پودا پھلے پھولے گا"
 C = "پودے کو پانی ملتا رہے "

 "پودا کو پانی ملے گا" اگر "پودے پر بارش ہو"
یا
"پودا کو پانی ملے گا" کے لیے کافی ہے کہ "پودے پر بارش ہو"
 C = "پودا کو پانی ملے گا"
 B = "پودے پر بارش ہو"

ان اصطلاحات میں مماثلت نیچے کے جدول میں واضح کی گئی ہے۔ 

Synonyms
A if B

B is sufficeint for A
ہم معنی
Aاگر B

B کافی ہے Aکے لیے

Synonyms
A only if B

B is necessary for A
ہم معنی
A بشرطِ اگر B

B ضروری ہے A کے لیے

Synonyms
A if, and only if, B

A is necessary and sufficient for B
ہم معنی
A اگر بشرطِ اگر B

A ضروری ہے اور کافی ہے، Bکے لیے

 مزید دیکھیے 
 مستلف
 حوالہ جات 

زمرہ:ریاضی اصطلاحات
زمرہ:ریاضیاتی اصطلاحیات
زمرہ:ویکی ڈیٹا سے مطابقت رکھنے والی مختصر تفصیل
زمرہ:تثنیہ آپریشنز
زمرہ:منطق
زمرہ:فلسفہ