اگر بشرط اگر

ریاضی مسئلوں میں استعمال ہونے والی ایک تکنیکی اصطلاح
 انگریزی مخفف: 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 = "پودے پر بارش ہو"

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

مزید دیکھیے 
 مستلف

حوالہ جات 

ریاضی اصطلاحات
ریاضیاتی اصطلاحیات
ویکی ڈیٹا سے مطابقت رکھنے والی مختصر تفصیل