આ વિધાન ગાણિતિક તર્કશાસ્ત્રમાં ભાષામાં A≡B, A⇔B, એ == બી તરીકે લખવામાં આવે