"اگر بشرط اگر" کے نسخوں کے درمیان فرق

 

یہ دو رویہ مقتض (implication) ہے۔ اگر لکھا ہو کہ:

:(انگریزی ترجمہ: "''Statement A'' if and only if ''Statement B''")

# کہ اگر بیان ''A'' لاگو ہو (یا سچ ہو) تو اس کا لازمی نتیجہ ہے کہ بیان ''B'' لاگو ہو گا (یا سچ ہو گا)

# کہ اگر بیان ''B'' لاگو ہو (یا سچ ہو) تو اس کا لازمی نتیجہ ہے کہ بیان''A'' لاگو ہو گا (یا سچ ہو گا)

<br/>

:<math>\ A \iff B</math>

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

: ''B'' مقتضی ''A''

: ''B'' implies ''A''

 

== ضروری اور کافی ==

 

=== مثال ===

:یا

: ''A'' = "پودا پھلے پھولے گا"

:<math> C \Leftarrow A</math>

:<math> A \Rightarrow C</math>

:<math> B \Rightarrow C</math>

 

 

<table border="1" cellpadding="2">

<td><math> A \iff B </math></td>

<td>

</td>

</tr>