કારણ કે આ બાંધકામ અંશે બેડોળ છે, ખાસ કરીને જ્યારે P અને Q એ તેમના પોતાના લોજિકલ સ્ટેટમેન્ટ છે, ત્યારે અમે "if અને માત્ર જો.