ਜੇ ਅਤੇ ਸਿਰਫ ਜੇ
↔⇔≡ ਜੇ ਅਤੇ ਸਿਰਫ ਜੇ (iff) ਦੇ ਪ੍ਰਤਿਨਿਧ ਚਿੰਨ ਤਰਕ ਅਤੇ ਤਰਕ ਨਾਲ ਸਬੰਧਤ ਖੇਤਰਾਂ ਜਿਵੇਂ ਗਣਿਤ ਅਤੇ ਫਿਲਾਸਫੀ ਅੰਦਰ, ਜੇ ਅਤੇ ਸਿਰਫ ਜੇ (ਸੰਖੇਪ ਰੂਪ ਵਿੱਚ iff/ਇੱਫਫ) ਕਥਨਾਂ ਦਰਮਿਆਨ ਇੱਕ ਦੋਹਰੀ ਸ਼ਰਤ ਵਾਲਾ ਤਾਰਕਿਕ ਸੰਯੋਜਕ ਹੁੰਦਾ ਹੈ। ਜਿਸ ਵਿੱਚ ਇਹ ਦੋਹਰੀ ਸ਼ਰਤ ਹੁੰਦੀ ਹੈ, ਸੰਯੋਜਕ ਨੂੰ ਮਿਆਰੀ ਪਦਾਰਥਕ ਸਸ਼ਰਤ (‘ਸਿਰਫ ਜੇ’, ‘ਜੇਕਰ…ਤਾਂ’ ਬਰਾਬਰ) ਨਾਲ ਇਸਦੇ ਉਲਟ (‘ਜੇਕਰ’) ਨੂੰ ਮਿਲਾ ਕੇ ਪਸੰਦ ਕੀਤਾ ਜਾ ਸਕਦਾ ਹੈ; ਇਸੇ ਕਰਕੇ ਇਸਦਾ ਇਹ ਨਾਮ ਹੈ। ਨਤੀਜਾ ਇਹ ਨਿਕਲਦਾ ਹੈ ਕਿ ਜੁੜੇ ਕਥਨਾਂ ਵਿੱਚੋਂ ਕੋਈ ਇੱਕ ਦਾ ਸੱਚ ਦੂਜੇ ਕਥਨ ਦੇ ਸੱਚ ਦੀ ਮੰਗ ਕਰਦਾ ਹੈ (ਜਾਂ ਦੋਵੇਂ ਕਥਨ ਸੱਚ ਹੁੰਦੇ ਹਨ, ਜਾਂ ਦੋਹੇ ਝੂਠ ਨਿਕਲਦੇ ਹਨ)। ਇਹ ਆਪਾਵਿਰੋਧੀ ਹੁੰਦਾ ਹੈ ਕਿ ਇਸ ਤਰ੍ਹਾਂ ਪਰਿਭਾਸ਼ਿਤ ਸੰਯੋਜਕ ਸਹੀ ਤੌਰ ਤੇ ਇਸਦੇ ਪੂਰਵ-ਮੌਜੂਦ ਅਰਥ ਨਾਲ ਅੰਗਰੇਜੀ ਭਾਸ਼ਾ ਦੇ “ਇੱਫ ਐਂਡ ਔਨਲੀ ਇੱਫ” ਨੂੰ ਅਰਥ ਦਿੰਦਾ ਹੈ ਕਿ ਨਹੀਂ। ਇਹ ਤੈਅ ਕਰਨ ਤੋਂ ਕਿਸੇ ਨੂੰ ਨਹੀਂ ਰੋਕਿਆ ਜਾ ਸਕਦਾ ਕਿ ਅਸੀਂ ਇਸ ਸੰਯੋਜਕ ਨੂੰ ‘ਜੇ ਅਤੇ ਸਿਰਫ ਜੇ’ ਦੇ ਤੌਰ ਤੇ ਪੜ ਸਕਦੇ ਜਾਂ, ਭਾਵੇਂ ਇਹ ਗਲਤ ਫਹਿਮੀ ਪੈਦਾ ਕਰ ਸਕਦਾ ਹੈ। ਲਿਖਣ ਵੇਲੇ, ਬਹਿਸਯੋਗ ਵਿਸ਼ੇਸ਼ਤਾ ਨਾਲ ਮੁਹਾਵਰੇ ਸਾਂਝੇ ਤੌਰ ਤੇ ਵਰਤੇ ਜਾਂਦੇ ਹਨ, ਜਿਵੇਂ P ‘ਜੇ ਅਤੇ ਸਿਰਫ ਜੇ’ Q ਵਿੱਚ Q ਸ਼ਾਮਿਲ ਕਰਨਾ R ਵਾਸਤੇ ਲਾਜ਼ਮੀ ਅਤੇ ਕਾਫੀ ਹੋਵੇ, P (ਪਦਾਰਥਕ ਤੌਰ ਤੇ ਸਮਾਨ) Q ਸਮਾਨ ਹੁੰਦਾ ਹੈ, P ਸ਼ੁੱਧ ਤੌਰ ਤੇ ਜੇਕਰ Q, P ਸ਼ੁੱਧ ਤੌਰ ਤੇ (ਜਾਂ ਇੰਨਬਿੰਨ) ਜਦੋਂ Q ਸਮਾਨ, P ਇੰਨਬਿੰਨ ਮਾਮਲੇ ਵਿੱਚ Q ਸਮਾਨ, ਅਤੇ P ਸਿਰਫ Q ਮਾਮਲੇ ਵਿੱਚ ਸਮਾਨ ਹੁੰਦਾ ਹੈ। ਕਈ ਵਿਦਵਾਨ “ਇੱਫਫ’’ ਨੂੰ ਰਸਮੀ ਲਿਖਤ ਵਿੱਚ ਨਾ-ਅਨੁਕੂਲ ਕਹਿੰਦੇ ਹਨ; ਧਾਰਨਾ ਦੀ ਚਰਚਾ ਦੇਖੋ