લોજિકલ વિધેયો માટે જો સૂત્રનો ઉપયોગ કરવો